diff options
| author | zhuyunxing <zhuyunxing.zyx@alibaba-inc.com> | 2024-04-19 10:43:53 +0800 |
|---|---|---|
| committer | zhuyunxing <zhuyunxing.zyx@alibaba-inc.com> | 2024-04-19 10:43:53 +0800 |
| commit | 68f86381ee9a5af00a6071773d54c00f032fe385 (patch) | |
| tree | 1390c8e2a3421656537a1a69dbe1c89bf66d5766 /tests/ui/instrument-coverage/coverage-options.rs | |
| parent | e3181b091e88321f5ea149afed6db0edf0a4f37b (diff) | |
| download | rust-68f86381ee9a5af00a6071773d54c00f032fe385.tar.gz rust-68f86381ee9a5af00a6071773d54c00f032fe385.zip | |
coverage. Add coverage-options=mcdc as gate for MC/DC instrument
Diffstat (limited to 'tests/ui/instrument-coverage/coverage-options.rs')
| -rw-r--r-- | tests/ui/instrument-coverage/coverage-options.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/ui/instrument-coverage/coverage-options.rs b/tests/ui/instrument-coverage/coverage-options.rs index a62e0554f76..50c01ed29b5 100644 --- a/tests/ui/instrument-coverage/coverage-options.rs +++ b/tests/ui/instrument-coverage/coverage-options.rs @@ -8,7 +8,13 @@ //@ [no-branch] check-pass //@ [no-branch] compile-flags: -Zcoverage-options=no-branch +//@ [mcdc] check-pass +//@ [mcdc] compile-flags: -Zcoverage-options=mcdc + //@ [bad] check-fail //@ [bad] compile-flags: -Zcoverage-options=bad +//@ [conflict] check-fail +//@ [conflict] compile-flags: -Zcoverage-options=no-branch,mcdc + fn main() {} |