You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
test: cover print_text_report in aprender-contracts-cli/src/commands/kaizen.rs #5552
Test-only ticket, estimated <=200 lines of test. Source: pmat query --coverage-gaps --rank-by impact --exclude-tests on coverage-nightly run 39080471983 (sha e6ab79f; CI runner paths rewritten to this checkout). Impact 0.69.
Function: print_text_report in crates/aprender-contracts-cli/src/commands/kaizen.rs. Write tests that assert behaviour (not just no-panic) so the uncovered branches run; per the coverage+contracts rule add or strengthen the matching falsification line in the contract YAML and run pv validate. No unwrap, no new Python.
Before starting: confirm on origin/main the function is still uncovered (pmat query "print_text_report" --coverage --uncovered-only) and that no branch or open PR carries this ticket's number.
Done when: the function's uncovered lines are executed by tests in cargo test -p <crate> --lib and the contract line is in.
Falsifier (write FIRST, FLOW-008): a test asserting a specific output per uncovered branch of the named function, shown failing when that branch is deleted or inverted, then passing.
Activity
noahgift commentedon Oct 18, 2026
Falsifier (write FIRST, FLOW-008): a test asserting a specific output per uncovered branch of the named function, shown failing when that branch is deleted or inverted, then passing.
noahgift commentedon Oct 22, 2026
tracked in #5875