coverage: Rename MC/DC conditions_num
to num_conditions
#125754
Merged
bors merged 1 commit intorust-lang:masterfrom May 30, 2024
Merged
coverage: Rename MC/DC `conditions_num` to `num_conditions`#125754bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom