FSharp.Hedgehog vs Racket QuickCheck
FSharp.Hedgehog
github.comRacket QuickCheck
docs.racket-lang.orgSide by side
| Figure | FSharp.Hedgehog | Racket QuickCheck |
|---|---|---|
| Price from | — | Free |
| Free plan | — | Yes |
| Free trial | — | — |
| Open source | — | — |
| Windows | Yes | Yes |
| macOS | Yes | Yes |
| Linux | Yes | Yes |
| Plans published | 0 | 1 |
| Spec score · Property-Based Testing Tools | 7.5 (#13) | 8.2 (#4) |
| Generators | It includes generators for primitive values and composable operations for building generators for complex types. | Built-in generators cover values including integers, real numbers, characters, lists, vectors, strings, and symbols. |
| Installation | The opened project pages do not state a download or platform-specific installation method. | Install the package with `raco pkg install quickcheck` or through DrRacket’s GUI package manager. |
| Intended users | The project describes the library as property-based testing for .NET developers writing tests in F#, C#, or other .NET languages. | The documented workflow is for Racket programmers who want to test program properties with generated inputs. |
| Purpose | Hedgehog is a property-based testing system for .NET that automatically generates inputs to help find edge cases. | Quickcheck tests program specifications by running properties against randomly generated test inputs. |
Plans
In their own words
FSharp.Hedgehog
FSharp.Hedgehog has no write-up on Specifiction yet; its figures are above.
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.