fn check(x: i32) {
    if x > 5 {
        debug_assert_eq!(x, 10);
    }
}
// This test checks that kani injects a reachability check for debug_assert_eq
// macro and that it reports ones that are unreachable.
// The check in this test is unreachable, so should be reported as UNREACHABLE
This test checks that kani injects a reachability check for debug_assert_eq
macro and that it reports ones that are unreachable.
The check in this test is unreachable, so should be reported as UNREACHABLE
This test checks that kani injects a reachability check for debug_assert_eq macro and that it reports ones that are unreachable . The check in this test is unreachable so should be reported as UNREACHABLE
fn check(x: i32) {
    if x > 5 {
        debug_assert_eq!(x, 10);
    }
}
fn check ( x : i32 ) { if x > 5 { debug_assert_eq ! ( x 10 ) ; } }
This test checks that kani injects a reachability check for debug_assert_eq
macro and that it reports ones that are unreachable.
This test checks that kani injects a reachability check for debug_assert_eq macro and that it reports ones that are unreachable .
x
i32