diff options
| author | Lieselotte <52315535+she3py@users.noreply.github.com> | 2025-03-29 12:21:51 +0100 |
|---|---|---|
| committer | Lieselotte <52315535+she3py@users.noreply.github.com> | 2025-03-29 12:21:51 +0100 |
| commit | 439048e074e1a4293e1839875e799329d92e4f81 (patch) | |
| tree | 9ea2b2b5b057bbb0b30d38eab5b18181ddd5125b /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 928468c47c2a670bfa62727cfa2f14f75f5b7331 (diff) | |
| download | rust-439048e074e1a4293e1839875e799329d92e4f81.tar.gz rust-439048e074e1a4293e1839875e799329d92e4f81.zip | |
`BackendRepr::is_signed`: comment why this may panics
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions