Side by side
QuickTheories vs Racket QuickCheck
Both stand on property-based testing tools. Which one you can start free with, which one lets you read the code, and what each costs once you pay.
Free plan APISelf-hosted
Choose QuickTheories if you want a free Java 8 library for checking properties with generated inputs, repeatable failures, and automatic shrinking. Look elsewhere if your theories need more than four generated values or if experimental coverage guidance conflicts with your coverage setup.
Visit QuickTheories Free plan LinuxMacWindows
QuickCheck offers property checks with generated inputs and useful failure details within Racket. Its limits include no failing-case shrinking and a minimum Racket version of 6.0.
Visit Racket QuickCheckThe facts
| QuickTheories | Racket QuickCheck | |
|---|---|---|
| Free plan | Yes | Yes |
| Open source | Not published | Not published |
| Runs on | API, Self-hosted | Linux, Mac, Windows |
| Lowest paid plan | Free or on request | Free or on request |
| Plans published | 1 | 1 |
| Maker | Not published | Not published |
| Website | github.com | docs.racket-lang.org |
| On property-based testing tools | #13 of 28 | #9 of 28 |
QuickTheories: what it does well
- Generates random samples of valid inputs.
- Shrinks failing cases without custom code for each type.
- Reports seeds so failing properties can be repeated.
- Works with JUnit, TestNG, and other test frameworks.
- Generator DSL supports constraints and custom types.
What to know first
- The `forAll` API supports one to four generated values.
- Experimental coverage guidance may reduce performance by about 10%.
- Coverage guidance may interfere with JaCoCo and other coverage systems.
Racket QuickCheck: what it does well
- Supports custom generators.
- Includes generators for common Racket values.
- Default run checks 100 successful tests.
- RackUnit integration reports count and counterexamples.
What to know first
- Requires Racket v6.0 or newer.
- Does not support failing-case shrinking.
- Package listing notes missing license metadata.
Alternatives to QuickTheories Alternatives to Racket QuickCheck The whole list