Skip to content

Known limits

  • The case count of a run comes from the command’s output text (cargo test result lines, pytest’s summary or progress line), so a runner with another format needs --test --test-cases <N>.
  • A fact’s verdict compares the repository state the daemon can observe: tracked files, the index, HEAD and the branch. Ignored files, environment variables and permission bits other than the executable bit are not part of the state.

From docs/guide.md at 2625064cbf0a · Markdown

memprove About Roadmap llms.txt GitHub 中文 apache-2.0 · no cookies, no tracking