Provide a new harnesss type which will only take into consideration the function safety contract, and that will only fail if UB is detected or, if the target function is safe, if any variable at the boundary of the target function violates their type safety.
Note that this is similar to #[should_panic], but it should not fail the verification if it does not panic.
Provide a new harnesss type which will only take into consideration the function safety contract, and that will only fail if UB is detected or, if the target function is safe, if any variable at the boundary of the target function violates their type safety.
Note that this is similar to
#[should_panic], but it should not fail the verification if it does not panic.