diff options
| author | Ralf Jung <post@ralfj.de> | 2022-08-28 11:48:55 -0400 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-08-28 11:49:32 -0400 |
| commit | 1a1220c5e4e0afa97a053536254dddf6a68551f7 (patch) | |
| tree | 47e3eb3c828e50c0298805b5803cb60ccf0a8da8 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | cf2c65b251cb05a2dae55b4ab9a8ca65f44189cb (diff) | |
| download | rust-1a1220c5e4e0afa97a053536254dddf6a68551f7.tar.gz rust-1a1220c5e4e0afa97a053536254dddf6a68551f7.zip | |
validation should only catch UB errors
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions