diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2023-08-27 17:11:13 +1000 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2023-10-03 13:03:39 +1100 |
| commit | ee9d00f6b8fd184f78161cce3a691bf55b88136d (patch) | |
| tree | 594b75828803736dd3d245c0244090212c8d1208 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 1355e1fc74102802aea01c744acafec0c4fabee5 (diff) | |
| download | rust-ee9d00f6b8fd184f78161cce3a691bf55b88136d.tar.gz rust-ee9d00f6b8fd184f78161cce3a691bf55b88136d.zip | |
coverage: Let each coverage statement hold a vector of code regions
This makes it possible for a `StatementKind::Coverage` to hold more than one code region, but that capability is not yet used.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions