user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Enable a test that works now with rustc master.

Browse source
This commit is contained in:
Scott Olson 2016-01-15 16:29:10 -06:00
parent f9ee6a0a30
commit dcb2f0f800
1 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

16
test/basic.rs
View file

@ -158,14 +158,14 @@ fn match_my_opt_none() -> i32 {
}
}
// #[miri_run(expected = "Int(13)")]
// fn match_opt_some() -> i32 {
// let x = Some(13);
// match x {
// Some(data) => data,
// None => 42,
// }
// }
#[miri_run(expected = "Int(13)")]
fn match_opt_some() -> i32 {
let x = Some(13);
match x {
Some(data) => data,
None => 42,
}
}
/// Test calling a very simple function from the standard library.
#[miri_run(expected = "Int(1)")]