Rollup merge of #63747 - RalfJung:miri, r=RalfJung · Centril/rust@ddb6314

Commit

Rollup merge of rust-lang#63747 - RalfJung:miri, r=RalfJung

update Miri

Fixes rust-lang#63673

r? @oli-obk

Centril authored Aug 21, 2019

2 parents 7043696 + 4d50b24 commit ddb6314

src/tools/miri

Submodule miri updated 11 files

+2 −1		.travis.yml
+1 −1		rust-version
+2 −2		src/machine.rs
+5 −5		src/operator.rs
+7 −7		src/shims/intrinsics.rs
+1 −1		tests/compile-fail/never_transmute_void.rs
+6 −4		tests/compiletest.rs
+13 −0		tests/run-pass/arrays.rs
+1 −1		tests/run-pass/async-fn.rs
+31 −0		tests/run-pass/rc.rs
+18 −0		tests/run-pass/slices.rs

Please sign in to comment.