FsCheck 0.8.2
See the version list below for details.
dotnet add package FsCheck --version 0.8.2
NuGet\Install-Package FsCheck -Version 0.8.2
<PackageReference Include="FsCheck" Version="0.8.2" />
<PackageVersion Include="FsCheck" Version="0.8.2" />
<PackageReference Include="FsCheck" />
paket add FsCheck --version 0.8.2
#r "nuget: FsCheck, 0.8.2"
#:package FsCheck@0.8.2
#addin nuget:?package=FsCheck&version=0.8.2
#tool nuget:?package=FsCheck&version=0.8.2
FsCheck is a tool for testing .NET programs automatically. The programmer provides 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. While writing the properties, you are actually writing a testable specification of your program. Specifications are expressed in F#, C# or VB, using combinators defined in the FsCheck library. FsCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. When a property fails, FsCheck automatically displays a minimal counter example.
| Product | Versions Compatible and additional computed target framework versions. | 
|---|---|
| .NET Framework | net40-client is compatible. | 
This package has no dependencies.
GitHub repositories (20)
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
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            AutoFixture/AutoFixture
                                                        
                                                         
                                                            AutoFixture is an open source library for .NET designed to minimize the 'Arrange' phase of your unit tests in order to maximize maintainability. Its primary goal is to allow developers to focus on what is being tested rather than how to setup the test scenario, by making it easier to create object graphs containing test data.
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            microsoft/onefuzz
                                                        
                                                         
                                                            A self-hosted Fuzzing-As-A-Service platform
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            MetacoSA/NBitcoin
                                                        
                                                         
                                                            Comprehensive Bitcoin library for the .NET framework.
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            NeutroniumCore/Neutronium
                                                        
                                                         
                                                            🚀 Build .NET desktop applications using HTML, CSS and javascript.
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            SolrNet/SolrNet
                                                        
                                                         
                                                            Solr client for .Net
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            dotnet/dotnet
                                                        
                                                         
                                                            Home of .NET's Virtual Monolithic Repository which includes all the code needed to build the .NET SDK.
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            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#.
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            viciousviper/DokanCloudFS
                                                        
                                                         
                                                            A virtual filesystem for various publicly accessible Cloud storage services on the Microsoft Windows platform.
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            VSadov/Satori
                                                        
                                                         
                                                            Experimenting with dotnet runtime.
                                                         
                                                     | 
                                                    |
| 
                                                        
                                                            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 | 
|---|---|---|
| 2.0.0-alpha | 100 | 4/27/2015 | 
| 1.0.4 | 8,824 | 12/9/2014 | 
| 1.0.3 | 2,027 | 11/18/2014 | 
| 1.0.2 | 617 | 10/27/2014 | 
| 1.0.1 | 1,168 | 10/18/2014 | 
| 1.0.0 | 2,340 | 8/3/2014 | 
| 0.9.4 | 5,053 | 5/24/2014 | 
| 0.9.3 | 191 | 5/9/2014 | 
| 0.9.2 | 4,992 | 11/7/2013 | 
| 0.9.1 | 934 | 7/2/2013 | 
| 0.9.0.1 | 68 | 6/21/2013 | 
| 0.9.0 | 91 | 6/18/2013 | 
| 0.8.3 | 102 | 8/26/2012 | 
| 0.8.2 | 69 | 7/4/2012 | 
| 0.8.1 | 67 | 6/25/2012 | 
| 0.7.1 | 79 | 5/29/2011 |