diff options
| author | Scott McMurray <scottmcm@users.noreply.github.com> | 2022-11-16 15:58:43 -0800 |
|---|---|---|
| committer | Scott McMurray <scottmcm@users.noreply.github.com> | 2022-11-16 15:58:43 -0800 |
| commit | 9d4b1f98e6761e9a6c77a840fcaec1aea0741669 (patch) | |
| tree | 89e675391b183a122f6d2ec10b4e814ad4b30d66 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 3b16c0467677dcd3b7f46c028446343dd699c4ba (diff) | |
| download | rust-9d4b1f98e6761e9a6c77a840fcaec1aea0741669.tar.gz rust-9d4b1f98e6761e9a6c77a840fcaec1aea0741669.zip | |
Ignore the unchecked-shifts codegen test in debug-assertions builds
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions