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

Age	Commit message (Collapse)	Author
2015-07-06	Fix the warnings from the previous commit	Carlo Zancanaro

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-04	Fix up generic types by adding bounds where possible instead of rigid ↵	Carlo Zancanaro
	constraints
2015-06-04	Move stuff over to using streams instead of iterators: much nicer!	Carlo Zancanaro

2015-06-04	Properly mark Generator and ShrinkStrategy with @FunctionalInterface	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
	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-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	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)