writing test code I often use FsCheck. However, sometimes I want to generate each possible value for a test model and check the properties for that.
My typical use case is something like this:
- Create an ADT that models what I want to test
- Generate all possible values of this test model
- Generate test data from the test model
- Run the function under test that produces a result