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.