5 Commits

Author	SHA1	Message	Date
Dorian Péron	fa563c1384	coverage: Add CLI support for -Zcoverage-options=condition	2024-05-30 15:38:46 +10:00
Zalathar	14d56e8338	Fix test problems discovered by the revision check ... Most of these changes either add revision names that were apparently missing, or explicitly mark a revision name as currently unused.	2024-05-09 14:47:09 +10:00
Zalathar	f9263374fb	coverage: Replace boolean options with a CoverageLevel enum	2024-04-29 20:04:22 +10:00
zhuyunxing	68f86381ee	coverage. Add coverage-options=mcdc as gate for MC/DC instrument	2024-04-19 10:43:53 +08:00
Zalathar	3407fcc12e	coverage: Add -Zcoverage-options for fine control of coverage ... This new nightly-only flag can be used to toggle fine-grained flags that control the details of coverage instrumentation. Currently the only supported flag value is `branch` (or `no-branch`), which is a placeholder for upcoming support for branch coverage. Other flag values can be added in the future, to prototype proposed new behaviour, or to enable special non-default behaviour.	2024-03-13 11:14:10 +11:00