FsCheck 2.16.4
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.
Showing the top 20 packages that depend on FsCheck.
| Packages | 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.
|
1 |
Fixed display issue affecting custom F# exceptions.
Prop.throws now fails the test if an unexpected exception is thrown.
.NET Framework 4.5.2
- FSharp.Core (>= 4.2.3)
.NET Standard 1.6
- FSharp.Core (>= 4.2.3)
.NET Standard 2.0
- FSharp.Core (>= 4.2.3)
.NET Standard 1.0
- FSharp.Core (>= 4.0.0.1)
| Version | Downloads | Last updated |
|---|---|---|
| 3.3.2 | 0 | 11/09/2025 |
| 3.3.1 | 0 | 08/24/2025 |
| 3.3.0 | 0 | 06/03/2025 |
| 3.2.0 | 0 | 04/10/2025 |
| 3.1.0 | 0 | 01/30/2025 |
| 3.0.1 | 0 | 01/22/2025 |
| 3.0.0 | 0 | 01/07/2025 |
| 3.0.0-rc3 | 0 | 03/03/2024 |
| 3.0.0-rc2 | 0 | 02/25/2024 |
| 3.0.0-rc1 | 0 | 07/23/2023 |
| 3.0.0-beta2 | 0 | 01/08/2022 |
| 3.0.0-beta1 | 0 | 09/05/2021 |
| 3.0.0-alpha5 | 0 | 12/28/2020 |
| 3.0.0-alpha4 | 0 | 10/06/2018 |
| 3.0.0-alpha3 | 0 | 12/30/2017 |
| 3.0.0-alpha2 | 0 | 10/19/2017 |
| 3.0.0-alpha1 | 0 | 09/26/2017 |
| 2.16.6 | 0 | 07/01/2023 |
| 2.16.5 | 0 | 06/01/2022 |
| 2.16.4 | 1 | 02/12/2025 |
| 2.16.3 | 0 | 09/04/2021 |
| 2.16.2 | 0 | 08/30/2021 |
| 2.16.0 | 0 | 08/13/2021 |
| 2.15.3 | 0 | 05/08/2021 |
| 2.15.2 | 0 | 04/15/2021 |
| 2.15.1 | 0 | 02/27/2021 |
| 2.15.0 | 0 | 02/23/2021 |
| 2.14.6 | 0 | 02/21/2021 |
| 2.14.5 | 0 | 02/18/2021 |
| 2.14.4 | 0 | 01/31/2021 |
| 2.14.3 | 0 | 06/09/2020 |
| 2.14.2 | 0 | 03/11/2020 |
| 2.14.0 | 0 | 04/17/2019 |
| 2.13.0 | 0 | 11/11/2018 |
| 2.12.1 | 0 | 10/18/2018 |
| 2.12.0 | 0 | 10/06/2018 |
| 2.11.0 | 0 | 06/15/2018 |
| 2.10.10 | 0 | 05/15/2018 |
| 2.10.9 | 0 | 04/10/2018 |
| 2.10.8 | 0 | 03/03/2018 |
| 2.10.7 | 0 | 01/29/2018 |
| 2.10.6 | 0 | 12/30/2017 |
| 2.10.5 | 0 | 12/28/2017 |
| 2.10.4 | 0 | 11/08/2017 |
| 2.10.3 | 0 | 09/26/2017 |
| 2.10.2 | 0 | 09/25/2017 |
| 2.10.1 | 0 | 09/23/2017 |
| 2.10.0 | 0 | 09/07/2017 |
| 2.9.2 | 0 | 08/28/2017 |
| 2.9.1 | 0 | 08/27/2017 |
| 2.9.0 | 0 | 05/18/2017 |
| 2.9.0-rc3 | 0 | 05/07/2017 |
| 2.9.0-rc2 | 0 | 05/06/2017 |
| 2.9.0-rc1 | 0 | 05/06/2017 |
| 2.8.2 | 0 | 05/06/2017 |
| 2.8.1 | 0 | 05/01/2017 |
| 2.8.0 | 0 | 03/15/2017 |
| 2.7.2 | 0 | 03/05/2017 |
| 2.7.1 | 0 | 02/13/2017 |
| 2.7.0 | 0 | 01/15/2017 |
| 2.6.3 | 0 | 01/13/2017 |
| 2.6.2 | 0 | 10/07/2016 |
| 2.6.1 | 0 | 09/25/2016 |
| 2.6.0 | 0 | 08/03/2016 |
| 2.5.0 | 0 | 06/07/2016 |
| 2.4.0 | 0 | 04/20/2016 |
| 2.3.0 | 0 | 04/11/2016 |
| 2.2.5 | 0 | 03/28/2016 |
| 2.2.4 | 0 | 12/17/2015 |
| 2.2.3 | 0 | 11/26/2015 |
| 2.2.2 | 0 | 11/14/2015 |
| 2.2.1 | 0 | 11/05/2015 |
| 2.2.0 | 0 | 11/01/2015 |
| 2.1.0 | 0 | 09/30/2015 |
| 2.0.7 | 0 | 08/20/2015 |
| 2.0.6 | 0 | 08/14/2015 |
| 2.0.5 | 0 | 07/31/2015 |
| 2.0.4 | 0 | 07/20/2015 |
| 2.0.3 | 0 | 07/10/2015 |
| 2.0.2 | 0 | 07/07/2015 |
| 2.0.1 | 0 | 05/23/2015 |
| 2.0.1-rc1 | 0 | 05/23/2015 |
| 2.0.0-alpha | 0 | 04/27/2015 |
| 1.0.4 | 0 | 12/09/2014 |
| 1.0.3 | 0 | 11/18/2014 |
| 1.0.2 | 0 | 10/27/2014 |
| 1.0.1 | 0 | 10/18/2014 |
| 1.0.0 | 0 | 08/03/2014 |
| 0.9.4 | 0 | 05/24/2014 |
| 0.9.3 | 0 | 05/09/2014 |
| 0.9.2 | 0 | 11/07/2013 |
| 0.9.1 | 0 | 07/02/2013 |
| 0.9.0.1 | 0 | 06/21/2013 |
| 0.9.0 | 0 | 06/18/2013 |
| 0.8.3 | 0 | 08/26/2012 |
| 0.8.2 | 0 | 07/04/2012 |
| 0.8.1 | 0 | 06/25/2012 |
| 0.7.1 | 0 | 05/29/2011 |