AgentDish directory
deterministic-testing
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#160
↑ +2
Equiv
A Rust-based checker that compares a changed function against its prior version on deterministically generated inputs and reports counterexamples when behavior changes. It includes a PR gate via GitHub Actions, CLI usage, signed receipts, and docs for release/signing. |
Developer Tools / AI Code Review / Testing | 86 | ↑ +2 | 7 days ago | Details |