mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rustup

Browse Source
This commit is contained in:
Ralf Jung 2020-04-13 00:41:39 +02:00
parent 85dff8b67a
commit 91d7964513
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rust-version
View File

@ -1 +1 @@
0c835b0cca83fe21090562603e4bda77c183ace3
4d1fbaccb822b6d52dc786589de7918d3c5effb1

2
src/bin/miri-rustc-tests.rs
View File

@ -41,7 +41,7 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
.any(|attr| attr.check_name(rustc_span::symbol::sym::test))
{
let config = miri::MiriConfig::default();
let did = self.0.hir().body_owner_def_id(body_id);
let did = self.0.hir().body_owner_def_id(body_id).to_def_id();
println!("running test: {}", self.0.def_path_debug_str(did));
miri::eval_main(self.0, did, config);
self.0.sess.abort_if_errors();