| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 ↵ | Carlo Zancanaro | |
| java.util.Optional) | |||
| 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 ↵ | Carlo Zancanaro | |
| as the 'primitive' operation (issues with generics) | |||
| 2015-06-01 | Add @DataSource, allow printing of RoseTrees, other small changes to generators | Carlo Zancanaro | |
| 2015-06-01 | Just some rearranging, renaming and clean-up | Carlo Zancanaro | |
| 2015-05-31 | Lots more updates | Carlo 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-31 | Improve lots of things | Carlo 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-31 | Better code, based off ParentRunner among other things | Carlo Zancanaro | |
| 2015-05-30 | Initial commit: only works for plain int typed arguments | Carlo Zancanaro | |
 |
index : java-check | |
| Property-based testing for Java within JUnit. | Carlo |
| summaryrefslogtreecommitdiff |