pub fn test_assertion_failure<S: RustShadow>(
snippet_struct: &S,
initial_state: InitVmState,
expected_error_ids: &[i128],
)
pub fn test_assertion_failure<S: RustShadow>(
snippet_struct: &S,
initial_state: InitVmState,
expected_error_ids: &[i128],
)