diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2023-07-08 13:43:29 +1000 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2023-08-20 12:02:40 +1000 |
| commit | fbab055e7704a1cd321628a1896333e0c13ebc2f (patch) | |
| tree | 7057c630b15a715613c8b4af0a62e19dfa14f337 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 629437eec78a56b04c4a2dbc6c85278ec1221a26 (diff) | |
| download | rust-fbab055e7704a1cd321628a1896333e0c13ebc2f.tar.gz rust-fbab055e7704a1cd321628a1896333e0c13ebc2f.zip | |
coverage: Give the instrumentor its own counter type, separate from MIR
This splits off `BcbCounter` from MIR's `CoverageKind`, allowing the two types to evolve in different directions as necessary.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions