tasm_lib::test_helpers

Function tasm_final_state

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