//@ revisions: blank bad
//@ [blank] compile-flags: -Cinstrument-coverage=
//@ [bad] compile-flags: -Cinstrument-coverage=bad-value

fn main() {}

//[blank]~? ERROR incorrect value `` for codegen option `instrument-coverage`
//[bad]~? ERROR incorrect value `bad-value` for codegen option `instrument-coverage`