Skip to content

Commit

Permalink
Auto merge of #63413 - RalfJung:miri, r=oli-obk
Browse files Browse the repository at this point in the history 
update Miri

With #63404 landed, we need rust-lang/miri#898 to avoid failures in https://github.com/RalfJung/miri-test-libstd.

r? @oli-obk
  • Loading branch information
@bors
bors committed Aug 11, 2019
2 parents 8fd7df6 + 3af92cb commit ee36cfa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 10 files
+1 −2 README.md
+10 −18 miri
+1 −1 src/bin/cargo-miri.rs
+4 −2 src/shims/foreign_items.rs
+0 −0 tests/compile-fail/copy_null.rs
+0 −0 tests/compile-fail/copy_overlapping.rs
+0 −0 tests/compile-fail/copy_unaligned.rs
+0 −7 tests/compiletest.rs
+36 −0 tests/run-pass/async-fn.rs
+13 −0 tests/run-pass/generator.rs

0 comments on commit ee36cfa

Please sign in to comment.