When a test fails

A --fact needs a passed test run (exit code 0, at least one test case); the daemon refuses a failed one (400 invalid_request) and the CLI suggests --open. Record the failure as an open item and cite the failed run with --evidence (last when it is the latest run). To record only the failure you need not commit first: the run is bound to the current state, uncommitted changes included, and nothing is claimed as done.

memprove run --test-format cargo -- cargo test      # exits 101
memprove checkpoint create --open "test adds fails: expected 5, got 4" \
  --evidence last --next "fix adds and rerun cargo test"

From docs/guide.md at 2625064cbf0a · Markdown