tasm_lib::test_helpers

Function test_rust_equivalence_given_complete_state

Source 
pub fn test_rust_equivalence_given_complete_state<T: RustShadow>(
    shadowed_snippet: &T,
    stack: &[BFieldElement],
    stdin: &[BFieldElement],
    nondeterminism: &NonDeterminism,
    sponge: &Option<VmHasher>,
    expected_final_stack: Option<&[BFieldElement]>,
) -> VMState