Age | Commit message (Expand) | Author |
2015-06-09 | A few changes, as suggested by static analysis | Carlo Zancanaro |
2015-06-09 | Add an ObjectGenerator<>, and related machinery (also a mapOf generator) | Carlo Zancanaro |
2015-06-06 | Lots of work on the stateful checking stuff: it's a fair bit nicer now | Carlo Zancanaro |
2015-06-04 | Move stuff over to using streams instead of iterators: much nicer! | Carlo Zancanaro |
2015-06-04 | Clean up a bit of the ShrinkTree stuff, particularly for shrinking | Carlo Zancanaro |
2015-06-03 | Change shrinking a bit, add more generators, fix some types, moved suchThat... | Carlo Zancanaro |
2015-06-03 | Rename RoseTree to ShrinkTree (less confusing and more specific) | Carlo Zancanaro |
2015-06-03 | Add some more interesting tests | Carlo Zancanaro |
2015-06-02 | Fix up some static analysis warnings and improve @DataPoint detection | Carlo Zancanaro |
2015-06-01 | Make listOf able to take a min/max length of list | Carlo Zancanaro |
2015-06-01 | Fix up static analysis issues (FindBugs and Intellij IDEA analysis) | Carlo Zancanaro |
2015-06-01 | Rename fmap -> map (apparently that's what Java's going with, see java.util.O... | Carlo Zancanaro |
2015-06-01 | Fix up list shrinking, remove minor superfluous things | Carlo Zancanaro |
2015-06-01 | Move packages, make lists shrink in size, generate lists instead of arrays as... | Carlo Zancanaro |