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
  • Video
  • Tweet
• code example