CsCheck
- Android app
- Not listed
- Free plan
- Yes
- Runs on
- self-hosted
Summary
CsCheck is a free C# library for random testing, inspired by QuickCheck and intended for self-hosted use. Its composable Gen classes support automatic shrinking without Arb classes, and a seed from a shrunk case can help reproduce a failure. Testing options include random, model-based, metamorphic, performance, specification, regression, parallel, and equality tests. Parallel tests compare outcomes with possible linearizations and can shrink failures. Specification checks can enumerate a reachable state space exhaustively or sample it, and can check whether declared faults are caught. The Faster function statistically compares methods to assess which is faster and can run as a regular test across platforms. The README examples use TUnit, but the project says the library 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, with .NET CLI and PackageReference installation instructions. The project notes that generic recursion limits AOT compatibility; its Dbg module is temporary and may change between minor versions.
Who it is for
CsCheck suits C# and F# developers who need property-style, stateful, or performance testing. It can be used with TUnit or other testing frameworks.
What is good
- Shrinks failing cases and provides a seed for reproduction.
- Supports model-based, metamorphic, and stateful testing.
- Parallel tests compare results with possible linearizations.
- Specification checks can enumerate or sample reachable states.
- Free under Apache 2.
What to know first
- Generic recursion limits AOT compatibility.
- The Dbg API may change between minor versions.
Verdict
CsCheck offers a broad set of testing styles, with shrinking and reproducible failure seeds. Its AOT limitation and the temporary status of Dbg are worth noting before relying on those areas.
CsCheck plans and pricing
All plansCompared on property-based testing tools
- Free plan
- Yesgithub.com
- Supported languages
- C#, F#github.com
- Test runner support
- TUnit; any testing frameworkgithub.com
- Failing-case shrinking
- Yesgithub.com
- Stateful testing
- Yesgithub.com
- Reproducible failures
- Yesgithub.com
Facts
- Product
- CsCheck is a C# random testing library inspired by QuickCheck.github.com · 4 Oct 2026
- Generators
- Its composable Gen classes support automatic shrinking without Arb classes.github.com · 4 Oct 2026
- Reproducibility
- Shrunk cases have a seed value that can be used to reproduce a failure.github.com · 4 Oct 2026
- Testing styles
- The library supports random, model-based, metamorphic, performance, specification, regression, parallel, and equality testing.github.com · 4 Oct 2026
- Concurrency
- Parallel testing compares results against possible linearizations and supports shrinking.github.com · 4 Oct 2026
- Specification checks
- Specification testing can exhaustively enumerate a reachable state space or sample it, and can check whether declared faults are caught.github.com · 4 Oct 2026
- Performance testing
- Its Faster function statistically compares whether one method is faster than another and can be run as a normal test across platforms.github.com · 4 Oct 2026
- Framework support
- The README says its example tests use TUnit but could equally be used in any testing framework.github.com · 4 Oct 2026
- F# usage
- The project page reports 1,000+ F# tests using CsCheck in MKL.NET.github.com · 4 Oct 2026
- Installation
- NuGet lists CsCheck 4.9.1 and documents installation with the .NET CLI package command and PackageReference.nuget.org · 4 Oct 2026
- AOT caveat
- The project says CsCheck is close to being AOT compatible but generic recursion is a limitation.github.com · 4 Oct 2026
- Security and reflection
- The project states that no reflection was used in making CsCheck.github.com · 4 Oct 2026
- Logging
- Sample supports logging types and pass and fail results for analysis, and the project includes a Tyche logging implementation.github.com · 4 Oct 2026
- Debug utility limitation
- The Dbg module is described as temporary debug functionality whose API may change between minor versions.github.com · 4 Oct 2026
- Support and contributions
- The README invites contributions through pull requests for new Gen classes or extensions.github.com · 4 Oct 2026
Best CsCheck alternatives
See all 20
Where it ranks on Everything Xiaomi
Is CsCheck yours?
Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.
Sources
- github.com/AnthonyLloyd/CsCheck· checked 4 Oct 2026
- nuget.org/packages/CsCheck· checked 4 Oct 2026