FSharp.Hedgehog vs JSVerify
FSharp.Hedgehog
github.comJSVerify
jsverify.github.ioSide by side
| Figure | FSharp.Hedgehog | JSVerify |
|---|---|---|
| Price from | — | Free |
| Free plan | — | Yes |
| Free trial | — | — |
| Open source | — | — |
| Web | — | Yes |
| Windows | Yes | — |
| macOS | Yes | — |
| Linux | Yes | — |
| Self-hosted | — | Yes |
| Plans published | 0 | 1 |
| Spec score · Property-Based Testing Tools | 7.5 (#13) | 8.1 (#5) |
| Installation | The opened project pages do not state a download or platform-specific installation method. | The project README instructs users to install the module with npm install jsverify. |
| License | The repository license is Apache License 2.0. | The GitHub repository identifies the project license as MIT. |
| Purpose | Hedgehog is a property-based testing system for .NET that automatically generates inputs to help find edge cases. | JSVerify is a property-based testing library for JavaScript, inspired by QuickCheck. |
| Reproducibility | Runs can be made deterministic using explicit seed control. | The README says test runs can be reproduced using a particular random generator state. |
| Test frameworks | The repository says Hedgehog works with any .NET test framework. | The library is framework agnostic, and its site names Mocha, nodeunit, and Jasmine as examples. |
Plans
In their own words
FSharp.Hedgehog
FSharp.Hedgehog has no write-up on Specifiction yet; its figures are above.
JSVerify
JSVerify is a free, open-source property-based testing library for JavaScript, inspired by QuickCheck. It generates inputs and checks whether a stated property holds across them. When a check fails, it attempts to shrink the generated input into a smaller counterexample. Properties can return Promises, allowing asynchronous methods to be tested. JSVerify is framework agnostic; the project names Mocha, nodeunit, and Jasmine as examples. The README instructs users to install it with `npm install jsverify` and says TypeScript typings are provided, though TypeScript specs cannot use the type DSL. Documented defaults are 100 tests and a maximum generated-value size of 50. Options cover test count, maximum generated size, quiet output, and random generator state. Generated values are deterministic when using primitives from the random module, and the RNG state can be set. The project is maintained by phadej and licensed under MIT. Its official site points to the GitHub README for API and usage documentation. The README cautions that exposed utility functions may change incompatibly, including in patch releases.