FsCheck 3.0.0-alpha3
See the version list below for details.
dotnet add package FsCheck --version 3.0.0-alpha3
NuGet\Install-Package FsCheck -Version 3.0.0-alpha3
<PackageReference Include="FsCheck" Version="3.0.0-alpha3" />
<PackageVersion Include="FsCheck" Version="3.0.0-alpha3" />
<PackageReference Include="FsCheck" />
paket add FsCheck --version 3.0.0-alpha3
#r "nuget: FsCheck, 3.0.0-alpha3"
#:package FsCheck@3.0.0-alpha3
#addin nuget:?package=FsCheck&version=3.0.0-alpha3&prerelease
#tool nuget:?package=FsCheck&version=3.0.0-alpha3&prerelease
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.6 is compatible. netstandard2.0 was computed. netstandard2.1 was computed. |
| .NET Framework | 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. |
| 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.0.0.1)
-
.NETStandard 1.6
- FSharp.Core (>= 4.2.3)
- NETStandard.Library (>= 1.6.1)
- System.ValueTuple (>= 4.4.0)
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 | 2,508 | 4/26/2026 |
| 3.3.2 | 562,115 | 11/9/2025 |
| 3.3.1 | 156,596 | 8/24/2025 |
| 3.3.0 | 162,534 | 6/3/2025 |
| 3.2.0 | 96,691 | 4/10/2025 |
| 3.1.0 | 242,129 | 1/30/2025 |
| 3.0.1 | 26,162 | 1/22/2025 |
| 3.0.0 | 105,545 | 1/7/2025 |
| 3.0.0-rc3 | 163,103 | 3/3/2024 |
| 3.0.0-rc2 | 1,847 | 2/25/2024 |
| 3.0.0-rc1 | 61,130 | 7/23/2023 |
| 3.0.0-beta2 | 93,299 | 1/8/2022 |
| 3.0.0-beta1 | 16,074 | 9/5/2021 |
| 3.0.0-alpha3 | 116,186 | 12/30/2017 |
| 2.16.6 | 2,345,665 | 7/1/2023 |
| 2.16.5 | 1,287,917 | 6/1/2022 |
| 2.16.4 | 719,048 | 1/8/2022 |
| 2.16.3 | 326,109 | 9/4/2021 |
| 2.16.2 | 11,492 | 8/30/2021 |
NuGet packaging: relax FSharp.Core constraint to 4.0 and higher for .NET Desktop.