about summary refs log tree commit diff
path: root/tests/coverage/if_not.coverage
AgeCommit message (Collapse)AuthorLines
2023-12-08coverage: Use `SpanMarker` to mark the full condition of `if !`Zalathar-2/+2
When MIR is built for an if-not expression, the `!` part of the condition doesn't correspond to any MIR statement, so coverage instrumentation normally can't see it. We can fix that by deliberately injecting a dummy statement whose sole purpose is to associate that span with its enclosing block.
2023-12-08coverage: Add a dedicated test for coverage of `if !`Zalathar-0/+38