Catch edge cases with automatically generated inputs.
What it does
Creates tests that uncover edge cases by checking code invariants across automatically generated inputs.
When to use it
Use to verify invariants, discover edge cases, and test parser or serializer round trips.
How to use it
Give it code to test; it creates property-based tests that check invariants using automatically generated inputs.
What you provide
- An existing project
Latest review
What you need · 0
No setup requirements listed.
Access · 0
No additional actions listed.