pub fn negative_test<T: RustShadow>(
snippet: &T,
initial_state: InitVmState,
allowed_errors: &[InstructionError],
)
pub fn negative_test<T: RustShadow>(
snippet: &T,
initial_state: InitVmState,
allowed_errors: &[InstructionError],
)