8 lines
174 B
Rust
8 lines
174 B
Rust
// tests that the pred in a claim isn't actually eval'd
|
|
use std;
|
|
import uint::*;
|
|
|
|
pure fn fails(a: uint) -> bool { fail; }
|
|
|
|
fn main() { let b: uint = 4u; claim (fails(b)); }
|