 |
VOOZH | about |
|
VOOZH | about |
dotnet add package FsCheck --version 3.3.3
NuGet\Install-Package FsCheck -Version 3.3.3
<PackageReference Include="FsCheck" Version="3.3.3" />
<PackageVersion Include="FsCheck" Version="3.3.3" />Directory.Packages.props
<PackageReference Include="FsCheck" />Project file
paket add FsCheck --version 3.3.3
#r "nuget: FsCheck, 3.3.3"
#:package FsCheck@3.3.3
#addin nuget:?package=FsCheck&version=3.3.3Install as a Cake Addin
#tool nuget:?package=FsCheck&version=3.3.3Install as a Cake Tool
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 net5.0 was computed. net5.0-windows net5.0-windows was computed. net6.0 net6.0 was computed. net6.0-android net6.0-android was computed. net6.0-ios net6.0-ios was computed. net6.0-maccatalyst net6.0-maccatalyst was computed. net6.0-macos net6.0-macos was computed. net6.0-tvos net6.0-tvos was computed. net6.0-windows net6.0-windows was computed. net7.0 net7.0 was computed. net7.0-android net7.0-android was computed. net7.0-ios net7.0-ios was computed. net7.0-maccatalyst net7.0-maccatalyst was computed. net7.0-macos net7.0-macos was computed. net7.0-tvos net7.0-tvos was computed. net7.0-windows net7.0-windows was computed. net8.0 net8.0 was computed. net8.0-android net8.0-android was computed. net8.0-browser net8.0-browser was computed. net8.0-ios net8.0-ios was computed. net8.0-maccatalyst net8.0-maccatalyst was computed. net8.0-macos net8.0-macos was computed. net8.0-tvos net8.0-tvos was computed. net8.0-windows net8.0-windows was computed. net9.0 net9.0 was computed. net9.0-android net9.0-android was computed. net9.0-browser net9.0-browser was computed. net9.0-ios net9.0-ios was computed. net9.0-maccatalyst net9.0-maccatalyst was computed. net9.0-macos net9.0-macos was computed. net9.0-tvos net9.0-tvos was computed. net9.0-windows net9.0-windows was computed. net10.0 net10.0 was computed. net10.0-android net10.0-android was computed. net10.0-browser net10.0-browser was computed. net10.0-ios net10.0-ios was computed. net10.0-maccatalyst net10.0-maccatalyst was computed. net10.0-macos net10.0-macos was computed. net10.0-tvos net10.0-tvos was computed. net10.0-windows net10.0-windows was computed. |
| .NET Core | netcoreapp2.0 netcoreapp2.0 was computed. netcoreapp2.1 netcoreapp2.1 was computed. netcoreapp2.2 netcoreapp2.2 was computed. netcoreapp3.0 netcoreapp3.0 was computed. netcoreapp3.1 netcoreapp3.1 was computed. |
| .NET Standard | netstandard2.0 netstandard2.0 is compatible. netstandard2.1 netstandard2.1 was computed. |
| .NET Framework | net461 net461 was computed. net462 net462 was computed. net463 net463 was computed. net47 net47 was computed. net471 net471 was computed. net472 net472 was computed. net48 net48 was computed. net481 net481 was computed. |
| MonoAndroid | monoandroid monoandroid was computed. |
| MonoMac | monomac monomac was computed. |
| MonoTouch | monotouch monotouch was computed. |
| Tizen | tizen40 tizen40 was computed. tizen60 tizen60 was computed. |
| Xamarin.iOS | xamarinios xamarinios was computed. |
| Xamarin.Mac | xamarinmac xamarinmac was computed. |
| Xamarin.TVOS | xamarintvos xamarintvos was computed. |
| Xamarin.WatchOS | xamarinwatchos xamarinwatchos was computed. |
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 FsCheck3 |
|
|
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. |
|
|
FsCheck.Xunit.v3
FsCheck.Xunit.v3 integrates FsCheck with xUnit.v3.NET by adding a PropertyAttribute that runs FsCheck tests, similar to xUnit.v3.NET's FactAttribute. All the options normally available in vanilla FsCheck via configuration can be controlled via the PropertyAttribute. |
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 | 281,964 | 4/26/2026 |
| 3.3.2 | 709,356 | 11/9/2025 |
| 3.3.1 | 163,398 | 8/24/2025 |
| 3.3.0 | 207,462 | 6/3/2025 |
| 3.2.0 | 105,269 | 4/10/2025 |
| 3.1.0 | 299,911 | 1/30/2025 |
| 3.0.1 | 31,780 | 1/22/2025 |
| 3.0.0 | 138,557 | 1/7/2025 |
| 3.0.0-rc3 | 167,960 | 3/3/2024 |
| 3.0.0-rc2 | 1,872 | 2/25/2024 |
| 3.0.0-rc1 | 62,011 | 7/23/2023 |
| 3.0.0-beta2 | 96,168 | 1/8/2022 |
| 3.0.0-beta1 | 16,227 | 9/5/2021 |
| 2.16.6 | 2,636,616 | 7/1/2023 |
| 2.16.5 | 1,355,537 | 6/1/2022 |
| 2.16.4 | 730,634 | 1/8/2022 |
| 2.16.3 | 329,812 | 9/4/2021 |
| 2.16.2 | 12,488 | 8/30/2021 |
| 2.16.0 | 68,039 | 8/13/2021 |
Add Gen.pick and Gen.tryPick functions.
Fill NullReferenceException when using Replay with an Implies combinator.
Improve behavior of stamps and labels when using And/Or property combinators.