diff options
| author | Gary Guo <gary@garyguo.net> | 2023-04-14 01:22:14 +0100 |
|---|---|---|
| committer | Gary Guo <gary@garyguo.net> | 2023-11-25 23:58:51 +0000 |
| commit | 97c1502066349973943c0b3bb3d5810ef999856e (patch) | |
| tree | 8672303f9d9059db678d88d6007374faf863a8d3 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 4ccec4558fea4c649ef92874bb26f3e96ab8eb21 (diff) | |
| download | rust-97c1502066349973943c0b3bb3d5810ef999856e.tar.gz rust-97c1502066349973943c0b3bb3d5810ef999856e.zip | |
Convert many `assert_unsafe_precondition` to `debug_assert_nounwind`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions