summaryrefslogtreecommitdiff
path: root/test/test_properties.c
Commit message (Collapse)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