Skip to content

test: cover print_explain in aprender-contracts-cli/src/commands/lint_render.rs #5554

Closed as not planned

Description

@noahgift

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.74.

Function: print_explain in crates/aprender-contracts-cli/src/commands/lint_render.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_explain" --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.

Activity

  1. added this to the 0.73.0 milestone on Oct 18, 2026
  2. added
    ready<=200 lines, scoped, verified not done on origin/main; a worker may pull it
    on Oct 18, 2026
  3. noahgift commented on Oct 18, 2026

    @noahgift
    MemberAuthor

    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.

  4. noahgift commented on Oct 22, 2026

    @noahgift
    MemberAuthor

    tracked in #5875

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    ready<=200 lines, scoped, verified not done on origin/main; a worker may pull it

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions