Add condition coverage to the JSON tracefile format
Add condition coverage to the JSON tracefile format: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). Modern GCC (14+) can emit condition coverage (a form of MC/DC) for each line, on top of the existing line/branch/decision/call metrics. When gcov is invoked with…
The task
Modern GCC (14+) can emit *condition coverage* (a form of MC/DC) for each line, on top of the existing line/branch/decision/call metrics. When gcov is invoked with `--conditions --json-format`, every relevant line carries a list of condition records that look like this:
Part of FineEnvs/MiMo-V2.6-RL-harbor-code.