CsCheck vs FSharp.Hedgehog
CsCheck
github.comFSharp.Hedgehog
github.comSide by side
| Figure | CsCheck | FSharp.Hedgehog |
|---|---|---|
| Price from | Free | — |
| Free plan | Yes | — |
| Free trial | — | — |
| Open source | — | — |
| Windows | — | Yes |
| macOS | — | Yes |
| Linux | — | Yes |
| Self-hosted | Yes | — |
| Plans published | 1 | 0 |
| Spec score · Property-Based Testing Tools | 8.0 (#6) | 7.5 (#13) |
| Generators | Its composable Gen classes support automatic shrinking without Arb classes. | It includes generators for primitive values and composable operations for building generators for complex types. |
| Installation | NuGet lists CsCheck 4.9.1 and documents installation with the .NET CLI package command and PackageReference. | The opened project pages do not state a download or platform-specific installation method. |
| Reproducibility | Shrunk cases have a seed value that can be used to reproduce a failure. | Runs can be made deterministic using explicit seed control. |
Plans
In their own words
CsCheck
CsCheck is a free C# random testing library inspired by QuickCheck, intended for self-hosted use. Its composable Gen classes shrink generated cases automatically without Arb classes, and a shrunk case includes a seed that can reproduce a failure. The library supports random, model-based, metamorphic, performance, specification, regression, parallel and equality testing. Parallel tests compare outcomes with possible linearizations and support shrinking. Specification checks can enumerate reachable state spaces exhaustively or sample them, and can test whether declared faults are caught. Its Faster function statistically compares methods to assess whether one is faster and can run as a normal test across platforms. Example tests use TUnit, though the project says CsCheck can be used with any testing framework. The project page reports more than 1,000 F# tests using CsCheck in MKL.NET. NuGet lists version 4.9.1 and installation instructions for the .NET CLI and PackageReference. The project notes that generic recursion limits AOT compatibility; its Dbg module is temporary and may change between minor versions.
FSharp.Hedgehog
FSharp.Hedgehog has no write-up on Specifiction yet; its figures are above.