Add condition coverage to the JSON tracefile format
Add condition coverage to the JSON tracefile format: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). 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…
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: count is…
Part of XiaomiMiMo/MiMo-V2.6-RL-oss.