OpenOct 2, 2026
No due date
•Last updated Automatic harness generation (kani autoharness). Tracking issue: #3832.
This milestone serves two purposes:
- Active work. The in-flight series of autoharness PRs, worked in the order they were opened.
- Chronological archive. All closed autoharness PRs and issues since the original subcommand (#3874), so the full history of the tool is visible in one place.
Feature surface: kani-compiler/src/kani_middle/transform/automatic.rs, kani-driver/src/autoharness/, kani-driver/src/args/autoharness_args.rs, docs at docs/src/reference/experimental/autoharness.md, and the cargo_autoharness_* / autoharness-* suites under tests/script-based-pre/.
64% complete
Issues
- 8
- 1
- 1
- 2
- 4
- 2
- 1
- 1
- 2
- 2
- 2
- 3
- 1