Rollup merge of #84481 - RalfJung:miri, r=RalfJung · Dylan-DPC-zz/rust@8509ccb

Commit

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

update Miri

Cc ``@rust-lang/miri`` r? ``@ghost``

Dylan-DPC authored Apr 25, 2021

2 parents ea1c221 + 00c95a3 commit 8509ccb

+5 −4		README.md
+54 −79		cargo-miri/bin.rs
+1 −1		rust-version
+6 −0		tests/run-pass/concurrency/tls_lib_drop.rs
+1 −0		tests/run-pass/concurrency/tls_lib_drop.stdout
+7 −0		tests/run-pass/concurrency/tls_lib_drop_single_thread.rs
+1 −0		tests/run-pass/concurrency/tls_lib_drop_single_thread.stderr
+0 −0		tests/run-pass/concurrency/tls_pthread_drop_order.rs