miden-vm 0.23.1

Miden virtual machine
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

extern crate alloc;

use miden_utils_testing::{build_op_test, build_test};

mod air;
mod cli;
mod exec;
mod flow_control;
mod operations;
mod prove_verify;

// TESTS
// ================================================================================================

#[test]
fn simple_program() {
    build_test!("begin push.1 push.2 add swap drop end").expect_stack(&[3]);
}

#[test]
fn multi_output_program() {
    let test = build_test!("begin mul movup.2 drop end", &[1, 2, 3]);
    test.check_constraints();
}

#[test]
fn program_with_respan() {
    let source = "
        repeat.49
            swap dup.1 add
        end";
    let pub_inputs = vec![];

    build_op_test!(source, &pub_inputs).check_constraints();
}