diff options
| author | Mara Bos <m-ou.se@m-ou.se> | 2020-12-01 10:50:23 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-01 10:50:23 +0000 |
| commit | 1bc1a185065526115af25b5a749e9bd7a80bd4d2 (patch) | |
| tree | 0eae80edbf51996318bfd6b37bbeef8fd67745b6 /compiler/rustc_mir/src/transform/coverage/mod.rs | |
| parent | 33d7b8c65c6180143dfddbc4c7556c910fe1b9c8 (diff) | |
| parent | 4eb64c842b73768b7c1b392fdab85996f622d4a1 (diff) | |
| download | rust-1bc1a185065526115af25b5a749e9bd7a80bd4d2.tar.gz rust-1bc1a185065526115af25b5a749e9bd7a80bd4d2.zip | |
Rollup merge of #79568 - RalfJung:miri, r=RalfJung
update Miri This update includes https://github.com/rust-lang/miri/pull/1617, the data race detector by ``@JCTyblaidd.`` :) Cc ``@rust-lang/miri`` r? ``@ghost``
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions