hypercpu 0.0.2

Distributed symbolic computation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

use hypercpu::prelude::*;


#[tokio::test]
async fn test_add() {
  let a: u8 = 10;
  let b: u8 = 2;

  let c = Add::new(a, b).resolve().await;

  assert_eq!(c, 12);
}

#[tokio::test]
async fn test_sub() {
  let a: u8 = 10;
  let b: u8 = 2;

  let c = Sub::new(a, b).resolve().await;

  assert_eq!(c, 8);
}

#[tokio::test]
async fn test_mul() {
  let a: u8 = 10;
  let b: u8 = 2;

  let c = Mul::new(a, b).resolve().await;

  assert_eq!(c, 20);
}

#[tokio::test]
async fn test_div() {
  let a: u8 = 10;
  let b: u8 = 2;

  let c = Div::new(a, b).resolve().await;

  assert_eq!(c, 5);
}

#[tokio::test]
async fn test_rem() {
  let a: u8 = 10;
  let b: u8 = 2;

  let c = Rem::new(a, b).resolve().await;

  assert_eq!(c, 0);
}

#[tokio::test]
async fn test_nested() {
  let a: u8 = 10;
  let b: u8 = 2;
  let c: u8 = 3;

  let d = Add::new(Mul::new(a, b), c).resolve().await;

  assert_eq!(d, 23);
}

#[tokio::test]
async fn test_nested_2() {
  let a: u8 = 10;
  let b: u8 = 2;
  let c: u8 = 3;

  let d = Add::new(Mul::new(a, b), Mul::new(b, c)).resolve().await;

  assert_eq!(d, 26);
}