state-machine-testing-course
state-machine-testing-course copied to clipboard
qfpl
Course for learning how to apply property-based state-machine testing
Results
2
state-machine-testing-course issues
Sort by
recently updated
recently updated
newest added
Build a better tree generator and add some validator functions.
I found it a bit tricky to resolve the two forms of overflow possible for Coins: * Integer overflow: adding invalid, large Coins will give an invalid Coin with negative...
