FsCheck vs Racket QuickCheck
FsCheck
fscheck.github.ioRacket QuickCheck
docs.racket-lang.orgSide by side
| Figure | FsCheck | Racket QuickCheck |
|---|---|---|
| Price from | Free | Free |
| Free plan | Yes | Yes |
| Free trial | — | — |
| Open source | — | — |
| Windows | Yes | Yes |
| macOS | Yes | Yes |
| Linux | Yes | Yes |
| Plans published | 1 | 1 |
| Spec score · Property-Based Testing Tools | 8.4 (#3) | 8.2 (#4) |
| Counterexamples | When a property fails, FsCheck displays a minimal counterexample. | When a property fails, Quickcheck prints the arguments that falsified it along with other result information. |
| Generators | Users can define custom test data generators and shrinkers, and package them together in Arbitrary instances. | Built-in generators cover values including integers, real numbers, characters, lists, vectors, strings, and symbols. |
| Installation | FsCheck and its NUnit and xUnit.NET plugins can be installed from NuGet. | Install the package with `raco pkg install quickcheck` or through DrRacket’s GUI package manager. |
| Purpose | FsCheck automatically tests .NET programs by checking properties against randomly generated cases. | Quickcheck tests program specifications by running properties against randomly generated test inputs. |
Plans
In their own words
FsCheck
FsCheck checks properties of.NET programs against randomly generated cases. Developers can express properties in F#, C# or VB, then run them with the built-in runner from an interactive session, a command-line program or a test framework. Integrations are documented for xUnit.net and NUnit, with user-created integrations for Expecto, Fuchu, AutoFixture and MSTest. When a property fails, FsCheck shrinks the input and shows a minimal counterexample. Developers can also define custom generators and shrinkers and group them in Arbitrary instances. The library supports parameterized cases and parallel execution, and its packages and NUnit and xUnit.NET plugins are available from NuGet. FsCheck is free: its listed plan is free, with a BSD license permitting commercial and non-commercial modification and redistribution. It runs on Linux, macOS and Windows. The project maintains version 3.x, but its documentation covers 2.x and is described as out of date and incomplete. Its model-based testing API is experimental and exempt from semantic-versioning guarantees.
Racket QuickCheck
Racket QuickCheck is a free package for checking program properties with generated inputs. A property is written as ordinary Racket code, and the package runs it against generated values; if a check fails, it reports a counterexample and the arguments that produced it. Its default configuration runs 100 successful tests, and helpers allow counts of 1,000, 10,000, or a custom number. Built-in generators cover integers, real numbers, characters, lists, vectors, strings, and symbols, and custom generators are supported. The `rackunit/quickcheck` integration raises a RackUnit exception when a check fails and includes the test count and counterexample arguments. Install the package with `raco pkg install quickcheck` or through DrRacket’s GUI package manager. It requires Racket v6.0 or newer. Racket provides installers for Linux, macOS, and Windows. The package listing reports a successful build and passing tests, while also noting missing license metadata. The listed price is free.