You can use the .NET Core CLI on this project:
dotnet restore
dotnet build
dotnet test
FsCheck
- shrinking: a process that allows FsCheck to work backwards through the series of random inputs it generated to determine what the minimal reproduction steps are for producing a test failure, i.e. a minimal counter example. This will come in handy once we start testing more complicated models.
- Romeu's tweet
- Xunit Theory with loads of InlineData test cases
- "Forget about data, focus on behavior!"
- https://www.codit.eu/blog/property-based-testing-with-c/
- https://fsharpforfunandprofit.com/posts/property-based-testing-2/
- https://blog.jonathanoliver.com/idempotency-patterns/
- http://www.aaronstannard.com/fscheck-property-testing-csharp-part1/
- Romeu Moura - Domain Invariants & Property-Based Testing for the Masses
- code example