//@ revisions: block branch condition 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

//@ [bad] check-fail
//@ [bad] compile-flags: -Zcoverage-options=bad

fn main() {}

//[bad]~? ERROR incorrect value `bad` for unstable option `coverage-options`