Closed
Description
Running test_coverage.py
does not take into account doc tests in the coverage, cargo test
does not run them.
Using sudo ./tools/devtool shell -p
and running cargo test
also ignores doc tests.
Both
sudo ./tools/devtool test -- integration_tests/build/test_coverage.py
and
sudo ./tools/devtool shell -p
cargo test --all
exclude execution of rustdoc tests.
In addition this excludes rustdoc tests from code coverage (https://doc.rust-lang.org/rustc/instrument-coverage.html#including-doc-tests).
Blocked on: rust-lang/rust#56925