cairo-lang-runner 2.18.0

Basic cairo runner.
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

use num_bigint::BigUint;
use num_integer::Integer;
use test_case::test_case;

use crate::casm_run::circuit::invert_or_nullify;

#[test_case(
    0_u32,
    8_u32,
    1_u32;
    "invert_or_nullify(0, 8)"
)]
#[test_case(
    1_u32,
    8_u32,
    1_u32;
    "invert_or_nullify(1, 8)"
)]
#[test_case(
    2_u32,
    8_u32,
    4_u32;
    "invert_or_nullify(2, 8)"
)]
#[test_case(
    3_u32,
    8_u32,
    3_u32;
    "invert_or_nullify(3, 8)"
)]
#[test_case(
    4_u32,
    8_u32,
    2_u32;
    "invert_or_nullify(4, 8)"
)]
#[test_case(
    5_u32,
    8_u32,
    5_u32;
    "invert_or_nullify(5, 8)"
)]
#[test_case(
    6_u32,
    8_u32,
    4_u32;
    "invert_or_nullify(6, 8)"
)]
#[test_case(
    7_u32,
    8_u32,
    7_u32;
    "invert_or_nullify(7, 8)"
)]

fn test_invert_or_nullify(input: u32, modulus: u32, output: u32) {
    let (success, nullifier) = invert_or_nullify(BigUint::from(input), &BigUint::from(modulus));
    assert_eq!(success, (input * output).mod_floor(&modulus) == 1_u32);
    assert_eq!(nullifier, BigUint::from(output));
}