update miri · rust-lang/rust@5d12f22

Commit

update miri

Browse files

RalfJung committed Mar 26, 2020

1 parent 02046a5 commit 5d12f22

src/tools/miri

Submodule miri updated 17 files

+23 −6		.appveyor.yml
+1 −1		rust-version
+1 −1		src/bin/cargo-miri.rs
+39 −18		src/diagnostics.rs
+2 −2		src/eval.rs
+202 −9		src/helpers.rs
+12 −13		src/machine.rs
+15 −13		src/shims/env.rs
+23 −30		src/shims/fs.rs
+1 −0		src/shims/intrinsics.rs
+7 −8		src/stacked_borrows.rs
+4 −0		tests/compile-fail/unreachable.rs
+2 −0		tests/compiletest.rs
+10 −19		tests/run-pass/async-fn.rs
+9 −4		tests/run-pass/fs.rs
+8 −3		tests/run-pass/libc.rs
+2 −0		travis.sh

Please sign in to comment.