diff options
| author | bors <bors@rust-lang.org> | 2022-07-15 15:54:47 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-07-15 15:54:47 +0000 |
| commit | 86911fd8f610eb59e0f90909323f48229965c06c (patch) | |
| tree | 731df37f0a5c0142401b295a96ca667781391abf /tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.diff | |
| parent | 7b79801d23543598ff1dac39d386a338592616e3 (diff) | |
| parent | d6cbe5d014c8c02ed4077ee702d34ea442c62e47 (diff) | |
| download | rust-86911fd8f610eb59e0f90909323f48229965c06c.tar.gz rust-86911fd8f610eb59e0f90909323f48229965c06c.zip | |
Auto merge of #2368 - RalfJung:debug, r=oli-obk
Make "./miri {build,run,test}" use debug assertions but "./miri install" not
This makes `./miri run`/`./miri test` use the full set of debug assertions (including the rather expensive ones that check consistency of the Stacked Borrows cache), but `./miri install` installs a Miri *without* those debug assertions.
That's the same behavior as cargo, and helps catch Miri bugs with the test suite while making installed Miri usable for larger runs.
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions