summaryrefslogtreecommitdiff
path: root/src/test/java/au/id
AgeCommit message (Collapse)Author
2015-06-03Change shrinking a bit, add more generators, fix some types, moved suchThatCarlo Zancanaro
Shrinking is now done using a "ShrinkStrategy". It's pretty similar to what it used to be in the end, but instead of generating new ShrinkTree<T>s yourself, you just generate smaller <T>s, and the generator framework will re-call your strategy to shrink smaller elements. (So, essentially, ShrinkStrategy.shrink(T obj) returns an Iterator<T> which then has smaller trees calculated from it.) Added some more generators. In particular: longs and doubles. Fixed some types, so now Generator.tuple(integer(), string()) will work. Yay! Move suchThat to Generator, so now integer().suchThat(x -> x < 10) will work instead of the old Generators.suchThat(x -> x < 10, integer()), which felt a bit weird.
2015-06-03Add some more interesting testsCarlo Zancanaro
2015-06-01Fix up list shrinking, remove minor superfluous thingsCarlo Zancanaro
2015-06-01Move packages, make lists shrink in size, generate lists instead of arrays ↵Carlo Zancanaro
as the 'primitive' operation (issues with generics)
2015-06-01Add @DataSource, allow printing of RoseTrees, other small changes to generatorsCarlo Zancanaro
2015-06-01Just some rearranging, renaming and clean-upCarlo Zancanaro
2015-05-31Lots more updatesCarlo Zancanaro
+ 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
2015-05-31Improve lots of thingsCarlo Zancanaro
In particular: + make output more sane and less all over the place + just ignore original exception, the shrunk one is the only one which really matters + fit into the jUnit framework more (so now @Before, @After and stuff work)
2015-05-31Better code, based off ParentRunner among other thingsCarlo Zancanaro
2015-05-30Initial commit: only works for plain int typed argumentsCarlo Zancanaro