| //@ revisions: block branch condition mcdc bad | |
| //@ compile-flags -Cinstrument-coverage -Zno-profiler-runtime | |
| //@ [block] check-pass | |
| //@ [block] compile-flags: -Zcoverage-options=block | |
| //@ [branch] check-pass | |
| //@ [branch] compile-flags: -Zcoverage-options=branch | |
| //@ [condition] check-pass | |
| //@ [condition] compile-flags: -Zcoverage-options=condition | |
| //@ [mcdc] check-pass | |
| //@ [mcdc] compile-flags: -Zcoverage-options=mcdc | |
| //@ [bad] check-fail | |
| //@ [bad] compile-flags: -Zcoverage-options=bad | |
| fn main() {} |