diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2024-05-30 13:16:07 +1000 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2024-05-30 13:16:07 +1000 |
| commit | c671eaaaffcd4204573d96cb6085863bb83dcfbe (patch) | |
| tree | ce1ef504f7307f99f0a2a893199fe7b23c92ccbd /src/tools/miri/genmc-sys/src_cpp | |
| parent | 23ea77b8edc902f4a90cda62af66f8b300e5de54 (diff) | |
| download | rust-c671eaaaffcd4204573d96cb6085863bb83dcfbe.tar.gz rust-c671eaaaffcd4204573d96cb6085863bb83dcfbe.zip | |
coverage: Rename MC/DC `conditions_num` to `num_conditions`
This value represents a quantity of conditions, not an ID, so the new spelling is more appropriate.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions