FsCheck.Xunit 2.3.0

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.

There is a newer version of this package available.
See the version list below for details.
Install-Package FsCheck.Xunit -Version 2.3.0
dotnet add package FsCheck.Xunit --version 2.3.0
<PackageReference Include="FsCheck.Xunit" Version="2.3.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add FsCheck.Xunit --version 2.3.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Release Notes

Command shrinker now takes preconditions into account. Behavior could be slightly different, overall should be a clear improvement.
Command generator now stops after trying a number of times when it can't find a command that satisfies the preconditions. Previously, it would loop forever.
Exposed Command.generate and Command.shrink. Obsoleted Command.generateCommands in favour of Command.generate.
Added Gen.where as a synonym for Gen.suchThat.
Expanded StateMachine with stop command and max number of commands, better shrinking that also removes loops, and lots of bugfixes.

Version History

Version Downloads Last updated
3.0.0-alpha4 2,564 10/6/2018
3.0.0-alpha3 5,224 12/30/2017
3.0.0-alpha2 4,735 10/19/2017
3.0.0-alpha1 454 9/26/2017
2.14.0 2,468 4/17/2019
2.13.0 38,357 11/11/2018
2.12.1 5,866 10/18/2018
2.12.0 3,333 10/6/2018
2.11.0 29,854 6/15/2018
2.10.10 40,480 5/15/2018
2.10.9 4,977 4/10/2018
2.10.8 39,056 3/3/2018
2.10.7 5,404 1/29/2018
2.10.6 4,345 12/30/2017
2.10.5 4,265 12/28/2017
2.10.4 22,567 11/8/2017
2.10.3 4,491 9/26/2017
2.10.2 8,610 9/25/2017
2.10.1 338 9/23/2017
2.10.0 9,833 9/7/2017
2.9.2 1,398 8/28/2017
2.9.1 190 8/27/2017
2.9.0 29,331 5/18/2017
2.9.0-rc3 3,347 5/7/2017
2.9.0-rc2 211 5/6/2017
2.9.0-rc1 187 5/6/2017
2.8.2 1,625 5/6/2017
2.8.1 293 5/1/2017
2.8.0 4,537 3/15/2017
2.7.2 2,908 3/5/2017
2.7.1 2,400 2/13/2017
2.7.0 3,129 1/15/2017
2.6.3 1,019 1/13/2017
2.6.2 6,005 10/7/2016
2.6.1 758 9/25/2016
2.6.0 6,912 8/3/2016
2.5.0 17,924 6/7/2016
2.4.0 4,280 4/20/2016
2.3.0 1,288 4/11/2016
2.2.5 1,750 3/28/2016
2.2.4 11,431 12/17/2015
2.2.3 624 11/26/2015
2.2.2 1,604 11/14/2015
2.2.1 393 11/5/2015
2.2.0 4,215 11/1/2015
2.1.0 2,061 9/30/2015
2.0.7 4,759 8/20/2015
2.0.6 384 8/14/2015
2.0.5 1,830 7/31/2015
2.0.4 701 7/20/2015
2.0.3 551 7/10/2015
2.0.2 315 7/7/2015
2.0.1 1,180 5/23/2015
2.0.1-rc1 284 5/23/2015
2.0.0-alpha 364 4/27/2015
1.0.4 9,179 12/9/2014
1.0.3 1,549 11/18/2014
1.0.2 691 10/27/2014
1.0.1 480 10/18/2014
1.0.0 919 8/3/2014
0.4.1 19,816 5/9/2014
0.4.0.2 4,215 11/7/2013
0.4.0.1 557 6/21/2013
0.4.0 460 6/18/2013
0.3.0 795 8/26/2012
0.2.0 533 7/4/2012
0.1.0 521 6/25/2012
Show less