bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add a more complicated arithmetic test.

Browse source
This commit is contained in:
Scott Olson 2015-11-12 18:00:22 -06:00
parent 694facf395
commit 3f0eac2c78
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
test/basic.rs
View file

@ -23,4 +23,9 @@ fn indirect_add() -> i32 {
x + y
}
#[miri_run(expected = "Int(25)")]
fn arith() -> i32 {
3*3 + 4*4
}
fn main() {}