diff options
| author | Oli Scherer <github35764891676564198441@oli-obk.de> | 2025-04-30 06:23:26 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-30 06:23:26 +0000 |
| commit | 2260f77e50039958003cc8ea4c7a65298a0a23d8 (patch) | |
| tree | 215e4bf8200d589cd8e0b0bb93df0b0e8800584b /compiler/rustc_pattern_analysis/src/errors.rs | |
| parent | f521fa0c545de1bb585f47dede7655ced6224070 (diff) | |
| parent | bbcc6a24cdd3c77927e159bf4cbc55eca4c62281 (diff) | |
| download | rust-2260f77e50039958003cc8ea4c7a65298a0a23d8.tar.gz rust-2260f77e50039958003cc8ea4c7a65298a0a23d8.zip | |
Merge pull request #4303 from RalfJung/determinism
add -Zmiri-deterministic-concurrency flag and use it for concurrency tests
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/errors.rs')
0 files changed, 0 insertions, 0 deletions