summaryrefslogtreecommitdiff
path: root/test/test_properties.c
Commit message (Expand)AuthorAge
* Use setup and teardown in choices suiteJohn Hawthorn2017-04-05
* Move test suites into separate filesJohn Hawthorn2017-04-04
* Add property based testing using thiefJohn Hawthorn2017-04-03
* Add theftJohn Hawthorn2017-04-03