diff options
| author | bors <bors@rust-lang.org> | 2023-07-31 07:54:28 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-31 07:54:28 +0000 |
| commit | e1071af908f70aaa32903a92a167cfb0cf1e9d84 (patch) | |
| tree | b0ee18b31edc78f9827caebe5430d5ef4b179bf5 /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | a95a4329c5099d72155ab387bdbef3dc8d02197b (diff) | |
| parent | efbd2a508c3acd1dcf722808f118341e48bea9cc (diff) | |
| download | rust-e1071af908f70aaa32903a92a167cfb0cf1e9d84.tar.gz rust-e1071af908f70aaa32903a92a167cfb0cf1e9d84.zip | |
Auto merge of #2909 - osiewicz:rewrite-miri-script-in-rust-2883, r=RalfJung
Rewrite miri script in rust This is a sketch of a rewrite of miri script in Rust. It does not include changes made in https://github.com/rust-lang/miri/pull/2908 yet. Environment variables are not properly propagated yet, which is something I plan to address. This PR is mostly a heads-up about the ongoing effort and it's state. It's definitely not the cleanest code I've seen in my life, but my first goal was feature/interface parity. I will iterate on it a bit before marking it as ready. I wonder though how this should be integrated/tested. Are you aware of anyone using `./miri` in their scripts? I guess we should keep existing `miri` script in place and let it run miri-script package directly? CI should probably `cargo check` this package as well. Fixes #2883
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions