Create property based tests

fslaborg / flips

Fsharp LInear Programming System

https://flipslibrary.com/#/

MIT License

252 stars 32 forks source link

Closed matthewcrews closed 4 years ago

matthewcrews commented 4 years ago

Need to create Property based tests for the basic Domain types.

Key things to test:

[ ] Addition operator of all types is associative and commutative
[ ] Multiplication operator is associative and commutative
[ ] Model type does not accept mismatched Decisions (Decisions with same name must have same type)