tasm_lib

Function execute_test

Source
pub fn execute_test(
    code: &[LabelledInstruction],
    stack: &mut Vec<BFieldElement>,
    expected_stack_diff: isize,
    std_in: Vec<BFieldElement>,
    nondeterminism: NonDeterminism,
    maybe_sponge: Option<VmHasher>,
) -> VMState
Expand description

Execute a Triton-VM program and test correct behavior indicators. Modify stack and memory. Panic if anything goes wrong.