pub fn test_rust_equivalence_given_execution_state<S: RustShadow>(
snippet_struct: &S,
execution_state: InitVmState,
) -> VMState
pub fn test_rust_equivalence_given_execution_state<S: RustShadow>(
snippet_struct: &S,
execution_state: InitVmState,
) -> VMState