diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-18 13:40:11 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-07-18 13:51:04 +0200 |
| commit | a438401d05beb6d4307e4741b38c3a133de00c0d (patch) | |
| tree | 14b77799c9cde9c513566b8c2491d951348a6a01 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | aef3d9e845599578f4f72e0bcb5a39c90fc67024 (diff) | |
| download | rust-a438401d05beb6d4307e4741b38c3a133de00c0d.tar.gz rust-a438401d05beb6d4307e4741b38c3a133de00c0d.zip | |
move page protection logic inside native_lib
and ensure we don't unwind out of the "weird state" during tracing
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions