diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-07-07 23:06:18 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-07-07 23:06:18 +0200 |
| commit | 8a195efa1e38021dd4a83d884861b5822bb6afc6 (patch) | |
| tree | 0a14b64dda83f2ed6ff4d8cfc0497b20a77c69a4 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | c720f49c46ec3e70bbc2bbb3e0dd1fe7fc0a47f2 (diff) | |
| download | rust-8a195efa1e38021dd4a83d884861b5822bb6afc6.tar.gz rust-8a195efa1e38021dd4a83d884861b5822bb6afc6.zip | |
Make it possible to attach opaque string metadata to `StepMetadata`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions