bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Abort miri if the Rust code had compilation errors.

Browse source
This commit is contained in:
Scott Olson 2016-03-21 02:54:20 -06:00
parent f439a97cf4
commit 877d2d900e
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/bin/miri.rs
View file

@ -16,6 +16,7 @@ impl<'a> CompilerCalls<'a> for MiriCompilerCalls {
control.after_analysis.stop = Compilation::Stop; control.after_analysis.stop = Compilation::Stop;
control.after_analysis.callback = Box::new(|state| { control.after_analysis.callback = Box::new(|state| {
state.session.abort_if_errors();
interpreter::interpret_start_points(state.tcx.unwrap(), state.mir_map.unwrap()); interpreter::interpret_start_points(state.tcx.unwrap(), state.mir_map.unwrap());
}); });