Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132// rust_verify/tests/example.rs expect-failuresuse verus_builtin::*;use verus_builtin_macros::*;use vstd::*;
verus! {
fn main() {}
fn test(b: bool) { assert(b);}
fn has_expectations(b: bool) { requires(b);}
fn fails_expectations() { has_expectations(false);}
fn fails_post() ensures false,{ let x = 5; let y = 7;}
} // verus!