The goal of this repo is prototype simple state machine style property based testing with following goals:
- No virtual variables or calls
- No complex behaviour
- Be able to re-use previous failures as unit test
- Filter inputs using state
- ExUnit assertions for postcondition