diff options
| author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-05-31 23:47:38 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-05-31 23:47:38 +1000 |
| commit | a4b5a5f904fe9f21697cd8fc8998c7e6e86306af (patch) | |
| tree | b5f66d8825219f05c4e1903434a121eb40e48cbe /src/test/java/au/id/zancanaro/TheoriesTest.java | |
| parent | 199037f9c80afd885f1f536d91b40a8397cd6bf2 (diff) | |
Lots more updates
+ add a list generator, and some more number generators.
+ bugfix the assumption checking stuff: if it failed once it would pretty
likely continue to fail!
+ write some simple actualy properties:
- reverse . reverse = id
- sort . sort = sort
Diffstat (limited to 'src/test/java/au/id/zancanaro/TheoriesTest.java')
0 files changed, 0 insertions, 0 deletions