diff options
| author | Lev Iskandarov <iskandarov11@inbox.ru> | 2024-04-20 20:50:47 +0300 |
|---|---|---|
| committer | Lev Iskandarov <iskandarov11@inbox.ru> | 2024-04-20 20:50:47 +0300 |
| commit | 570c725f698cffb16a0444e7b58ec872ee6cb607 (patch) | |
| tree | 8379f5035757bf6cc9cbabbebbfe1597e7dbd4fc /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 55d9a533b309119c8acd13061581b43ae8840823 (diff) | |
| download | rust-570c725f698cffb16a0444e7b58ec872ee6cb607.tar.gz rust-570c725f698cffb16a0444e7b58ec872ee6cb607.zip | |
try to generate more meaningful names
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions