FsCheck 2.16.2
See the version list below for details.
dotnet add package FsCheck --version 2.16.2
NuGet\Install-Package FsCheck -Version 2.16.2
<PackageReference Include="FsCheck" Version="2.16.2" />
<PackageVersion Include="FsCheck" Version="2.16.2" />
<PackageReference Include="FsCheck" />
paket add FsCheck --version 2.16.2
#r "nuget: FsCheck, 2.16.2"
#:package FsCheck@2.16.2
#addin nuget:?package=FsCheck&version=2.16.2
#tool nuget:?package=FsCheck&version=2.16.2
FsCheck is a tool for testing .NET programs automatically. You provide a specification of the program, in the form of properties which functions, methods or objects should satisfy, and FsCheck then tests that the properties hold in a large number of randomly generated cases. Such properties are actually a testable specification of your program.
Properties are written in F#, C# or VB. FsCheck helps you to define properties, observe the distribution of test data, and define test data generators. Crucially, when a property fails, FsCheck automatically displays a minimal counter example.
| Product | Versions Compatible and additional computed target framework versions. |
|---|---|
| .NET | net5.0 was computed. net5.0-windows was computed. net6.0 was computed. net6.0-android was computed. net6.0-ios was computed. net6.0-maccatalyst was computed. net6.0-macos was computed. net6.0-tvos was computed. net6.0-windows was computed. net7.0 was computed. net7.0-android was computed. net7.0-ios was computed. net7.0-maccatalyst was computed. net7.0-macos was computed. net7.0-tvos was computed. net7.0-windows was computed. net8.0 was computed. net8.0-android was computed. net8.0-browser was computed. net8.0-ios was computed. net8.0-maccatalyst was computed. net8.0-macos was computed. net8.0-tvos was computed. net8.0-windows was computed. net9.0 was computed. net9.0-android was computed. net9.0-browser was computed. net9.0-ios was computed. net9.0-maccatalyst was computed. net9.0-macos was computed. net9.0-tvos was computed. net9.0-windows was computed. net10.0 was computed. net10.0-android was computed. net10.0-browser was computed. net10.0-ios was computed. net10.0-maccatalyst was computed. net10.0-macos was computed. net10.0-tvos was computed. net10.0-windows was computed. |
| .NET Core | netcoreapp1.0 was computed. netcoreapp1.1 was computed. netcoreapp2.0 was computed. netcoreapp2.1 was computed. netcoreapp2.2 was computed. netcoreapp3.0 was computed. netcoreapp3.1 was computed. |
| .NET Standard | netstandard1.0 is compatible. netstandard1.1 was computed. netstandard1.2 was computed. netstandard1.3 was computed. netstandard1.4 was computed. netstandard1.5 was computed. netstandard1.6 is compatible. netstandard2.0 is compatible. netstandard2.1 was computed. |
| .NET Framework | net45 was computed. net451 was computed. net452 is compatible. net46 was computed. net461 was computed. net462 was computed. net463 was computed. net47 was computed. net471 was computed. net472 was computed. net48 was computed. net481 was computed. |
| MonoAndroid | monoandroid was computed. |
| MonoMac | monomac was computed. |
| MonoTouch | monotouch was computed. |
| Tizen | tizen30 was computed. tizen40 was computed. tizen60 was computed. |
| Universal Windows Platform | uap was computed. uap10.0 was computed. |
| Windows Phone | wp8 was computed. wp81 was computed. wpa81 was computed. |
| Windows Store | netcore was computed. netcore45 was computed. netcore451 was computed. |
| Xamarin.iOS | xamarinios was computed. |
| Xamarin.Mac | xamarinmac was computed. |
| Xamarin.TVOS | xamarintvos was computed. |
| Xamarin.WatchOS | xamarinwatchos was computed. |
-
.NETFramework 4.5.2
- FSharp.Core (>= 4.2.3)
-
.NETStandard 1.0
- FSharp.Core (>= 4.0.0.1)
-
.NETStandard 1.6
- FSharp.Core (>= 4.2.3)
-
.NETStandard 2.0
- FSharp.Core (>= 4.2.3)
NuGet packages (34)
Showing the top 5 NuGet packages that depend on FsCheck:
| Package | Downloads |
|---|---|
|
FsCheck.Xunit
FsCheck.Xunit integrates FsCheck with xUnit.NET by adding a PropertyAttribute that runs FsCheck tests, similar to xUnit.NET's FactAttribute. All the options normally available in vanilla FsCheck via configuration can be controlled via the PropertyAttribute. |
|
|
FsCheck.NUnit
FsCheck.NUnit integrates FsCheck with NUnit by adding a PropertyAttribute that runs FsCheck tests, similar to NUnit TestAttribute. All the options normally available in vanilla FsCheck via configuration can be controlled via the PropertyAttribute. |
|
|
Expecto.FsCheck
Property testing for Expecto, powered by FsCheck |
|
|
AutoFixture.Idioms.FsCheck
Ubiquitous use of AutoFixture for unit testing has given rise to a number of idiomatic unit tests - unit tests that tend to follow common templates. The AutoFixture Idioms.FsCheck library encapsulates these idioms into reusable classes and methods. |
|
|
MBrace.Tests
A collection of abstract NUnit-based test suites for evaluating MBrace runtime implementations. |
GitHub repositories (21)
Showing the top 20 popular GitHub repositories that depend on FsCheck:
| Repository | Stars |
|---|---|
|
dotnet/runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
|
|
|
akkadotnet/akka.net
Canonical actor model implementation for .NET with local + distributed actors in C# and F#.
|
|
|
commandlineparser/commandline
The best C# command line parser that brings standardized *nix getopt style, for .NET. Includes F# support
|
|
|
thomhurst/TUnit
A modern, fast and flexible .NET testing framework
|
|
|
AIDotNet/OpenDeepWiki
OpenDeepWiki is the open-source version of the DeepWiki project, aiming to provide a powerful knowledge management and collaboration platform. The project is mainly developed using C# and TypeScript, supporting modular design, and is easy to expand and customize.
|
|
|
microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform
|
|
|
NeutroniumCore/Neutronium
🚀 Build .NET desktop applications using HTML, CSS and javascript.
|
|
|
dotnet/dotnet
Home of .NET's Virtual Monolithic Repository which includes all the code needed to build the .NET SDK.
|
|
|
SolrNet/SolrNet
Solr client for .Net
|
|
|
la-yumba/functional-csharp-code
Code samples for Functional Programming in C#
|
|
|
TolikPylypchuk/SharpHook
SharpHook provides a cross-platform global keyboard and mouse hook, event simulation, and text entry simulation for .NET
|
|
|
helios-io/helios
reactive socket middleware for .NET
|
|
|
exercism/csharp
Exercism exercises in C#.
|
|
|
VSadov/Satori
Experimenting with dotnet runtime.
|
|
|
viciousviper/DokanCloudFS
A virtual filesystem for various publicly accessible Cloud storage services on the Microsoft Windows platform.
|
|
|
serdedotnet/serde
Serde.NET is a C# port of the popular Serde serialization library for Rust
|
|
|
la-yumba/functional-csharp-code-2
|
|
|
oskardudycz/Ogooreck
Sneaky Testing Library in BDD style
|
|
|
Vonage/vonage-dotnet-sdk
Vonage REST API client for .NET, written in C#. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
|
|
|
petabridge/TurboMqtt
The fastest Message Queue Telemetry Transport (MQTT) client for .NET.
|
| Version | Downloads | Last Updated |
|---|---|---|
| 3.3.3 | 29,702 | 4/26/2026 |
| 3.3.2 | 594,119 | 11/9/2025 |
| 3.3.1 | 157,886 | 8/24/2025 |
| 3.3.0 | 166,473 | 6/3/2025 |
| 3.2.0 | 98,708 | 4/10/2025 |
| 3.1.0 | 248,670 | 1/30/2025 |
| 3.0.1 | 27,020 | 1/22/2025 |
| 3.0.0 | 107,654 | 1/7/2025 |
| 3.0.0-rc3 | 163,598 | 3/3/2024 |
| 3.0.0-rc2 | 1,851 | 2/25/2024 |
| 3.0.0-rc1 | 61,220 | 7/23/2023 |
| 3.0.0-beta2 | 93,634 | 1/8/2022 |
| 3.0.0-beta1 | 16,107 | 9/5/2021 |
| 2.16.6 | 2,384,024 | 7/1/2023 |
| 2.16.5 | 1,295,724 | 6/1/2022 |
| 2.16.4 | 721,272 | 1/8/2022 |
| 2.16.3 | 326,799 | 9/4/2021 |
| 2.16.2 | 11,881 | 8/30/2021 |
| 2.16.0 | 67,031 | 8/13/2021 |
Support generation and shrinking of System.Collections.Immutable types via reflection.