itsscb/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-04-16 13:29:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
5745c220e65a83436bb0bf855dcf83aebffe8c73
rust/tests/coverage
History
León Orell Valerian Liehr a7cf6ece62 Rollup merge of #125766 - RenjiSann:fresh-mcdc-branch-on-bool, r=nnethercote 
MCDC Coverage: instrument last boolean RHS operands from condition coverage

Fresh PR from #124652

--

This PR ensures that the top-level boolean expressions that are not part of the control flow are correctly instrumented thanks to condition coverage.

See discussion on https://github.com/rust-lang/rust/issues/124120.
Depends on `@Zalathar` 's condition coverage implementation #125756.
2024-06-19 13:04:57 +02:00
..
attr
…
auxiliary
…
branch
…
condition
…
mcdc
…
abort.cov-map
…
abort.coverage
…
abort.rs
…
assert_not.cov-map
…
assert_not.coverage
…
assert_not.rs
…
assert-ne.cov-map
…
assert-ne.coverage
…
assert-ne.rs
…
assert.cov-map
…
assert.coverage
…
assert.rs
…
async2.cov-map
…
async2.coverage
…
async2.rs
…
async_block.cov-map
…
async_block.coverage
…
async_block.rs
…
async.cov-map
…
async.coverage
…
async.rs
…
bad_counter_ids.cov-map
…
bad_counter_ids.coverage
…
bad_counter_ids.rs
…
bench.cov-map
…
bench.coverage
…
bench.rs
…
closure_bug.cov-map
…
closure_bug.coverage
…
closure_bug.rs
…
closure_macro_async.cov-map
…
closure_macro_async.coverage
…
closure_macro_async.rs
…
closure_macro.cov-map
…
closure_macro.coverage
…
closure_macro.rs
…
closure_unit_return.cov-map
…
closure_unit_return.coverage
…
closure_unit_return.rs
…
closure.cov-map
…
closure.coverage
…
closure.rs
…
color.coverage
…
color.rs
…
conditions.cov-map
…
conditions.coverage
…
conditions.rs
…
continue.cov-map
…
continue.coverage
…
continue.rs
…
coroutine.cov-map
…
coroutine.coverage
…
coroutine.rs
…
coverage_attr_closure.cov-map
…
coverage_attr_closure.coverage
…
coverage_attr_closure.rs
…
dead_code.cov-map
…
dead_code.coverage
…
dead_code.rs
…
drop_trait.cov-map
…
drop_trait.coverage
…
drop_trait.rs
…
fn_sig_into_try.cov-map
…
fn_sig_into_try.coverage
…
fn_sig_into_try.rs
…
generics.cov-map
…
generics.coverage
…
generics.rs
…
if_else.cov-map
…
if_else.coverage
…
if_else.rs
…
if_not.cov-map
…
if_not.coverage
…
if_not.rs
…
if.cov-map
…
if.coverage
…
if.rs
…
ignore_map.coverage
…
ignore_map.rs
…
ignore_run.cov-map
…
ignore_run.rs
…
inline-dead.cov-map
…
inline-dead.coverage
…
inline-dead.rs
…
inline.cov-map
…
inline.coverage
…
inline.rs
…
inner_items.cov-map
…
inner_items.coverage
…
inner_items.rs
…
issue-83601.cov-map
…
issue-83601.coverage
…
issue-83601.rs
…
issue-84561.cov-map
…
issue-84561.coverage
…
issue-84561.rs
…
issue-85461.cov-map
…
issue-85461.coverage
…
issue-85461.rs
…
issue-93054.cov-map
…
issue-93054.coverage
…
issue-93054.rs
…
lazy_boolean.cov-map
…
lazy_boolean.coverage
…
lazy_boolean.rs
…
let_else_loop.cov-map
…
let_else_loop.coverage
…
let_else_loop.rs
…
long_and_wide.cov-map
…
long_and_wide.coverage
…
long_and_wide.rs
…
loop_break_value.cov-map
…
loop_break_value.coverage
…
loop_break_value.rs
…
loop-break.cov-map
…
loop-break.coverage
…
loop-break.rs
…
loops_branches.cov-map
…
loops_branches.coverage
…
loops_branches.rs
…
macro_in_closure.cov-map
…
macro_in_closure.coverage
…
macro_in_closure.rs
…
macro_name_span.cov-map
…
macro_name_span.coverage
…
macro_name_span.rs
…
match_or_pattern.cov-map
…
match_or_pattern.coverage
…
match_or_pattern.rs
…
mcdc_if.cov-map
…
mcdc_if.coverage
…
mcdc_if.rs
…
mcdc_nested_if.cov-map
…
mcdc_nested_if.coverage
…
mcdc_nested_if.rs
…
mcdc_non_control_flow.cov-map
…
mcdc_non_control_flow.coverage
…
mcdc_non_control_flow.rs
…
nested_loops.cov-map
…
nested_loops.coverage
…
nested_loops.rs
…
no_cov_crate.cov-map
…
no_cov_crate.coverage
…
no_cov_crate.rs
…
no_spans_if_not.cov-map
…
no_spans_if_not.coverage
…
no_spans_if_not.rs
…
no_spans.cov-map
…
no_spans.coverage
…
no_spans.rs
…
overflow.cov-map
…
overflow.coverage
…
overflow.rs
…
panic_unwind.cov-map
…
panic_unwind.coverage
…
panic_unwind.rs
…
partial_eq.cov-map
…
partial_eq.coverage
…
partial_eq.rs
…
README.md
…
simple_loop.cov-map
…
simple_loop.coverage
…
simple_loop.rs
…
simple_match.cov-map
…
simple_match.coverage
…
simple_match.rs
…
sort_groups.cov-map
…
sort_groups.coverage
…
sort_groups.rs
…
test_harness.cov-map
…
test_harness.coverage
…
test_harness.rs
…
thin-lto.cov-map
…
thin-lto.coverage
…
thin-lto.rs
…
tight_inf_loop.cov-map
…
tight_inf_loop.coverage
…
tight_inf_loop.rs
…
trivial.cov-map
…
trivial.coverage
…
trivial.rs
…
try_error_result.cov-map
…
try_error_result.coverage
…
try_error_result.rs
…
unicode.cov-map
…
unicode.coverage
…
unicode.rs
…
unreachable.cov-map
…
unreachable.coverage
…
unreachable.rs
…
unused_mod.cov-map
…
unused_mod.coverage
…
unused_mod.rs
…
unused.cov-map
…
unused.coverage
…
unused.rs
…
uses_crate.cov-map
…
uses_crate.coverage
…
uses_crate.rs
…
uses_inline_crate.cov-map
…
uses_inline_crate.coverage
…
uses_inline_crate.rs
…
while_early_ret.cov-map
…
while_early_ret.coverage
…
while_early_ret.rs
…
while.cov-map
…
while.coverage
…
while.rs
…
yield.cov-map
…
yield.coverage
…
yield.rs
…

README.md

The tests in this directory are shared by two different test modes, and can be run in multiple different ways:

  • ./x.py test coverage-map (compiles to LLVM IR and checks coverage mappings)
  • ./x.py test coverage-run (runs a test binary and checks its coverage report)
  • ./x.py test coverage (runs both coverage-map and coverage-run)

Maintenance note

These tests can be sensitive to small changes in MIR spans or MIR control flow, especially in HIR-to-MIR lowering or MIR optimizations.

If you haven't touched the coverage code directly, and the tests still pass in coverage-run mode, then it should usually be OK to just re-bless the mappings as necessary with ./x.py test coverage-map --bless, without worrying too much about the exact changes.

Reference in New Issue View Git Blame Copy Permalink