Last released Jun 24, 2026
Sound behavior-equivalence verification for refactors, using your own tests for inputs
Supported by