java-check - Property-based testing for Java within JUnit.

Age	Commit message (Collapse)	Author
2015-06-02	Fix up some static analysis warnings and improve @DataPoint detection	Carlo Zancanaro

2015-06-01	Make shrinking print where it's up to when signal (ie. ctrl+c) before exiting	Carlo Zancanaro

2015-06-01	Make listOf able to take a min/max length of list	Carlo Zancanaro

2015-06-01	Add some docs to the Generator interface	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 ↵	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