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

Age	Commit message (Collapse)	Author
2015-07-07	Run less tests (to make them faster)	Carlo Zancanaro

2015-07-06	Fix the warnings from the previous commit	Carlo Zancanaro

2015-06-11	Make the QueueTest Offer command validate its return value	Carlo Zancanaro

2015-06-10	Support enums in the ObjectGeneration stuff	Carlo Zancanaro

2015-06-09	A few changes, as suggested by static analysis	Carlo Zancanaro

2015-06-09	Generalise the ObjectGeneration stuff	Carlo Zancanaro
	The new ObjectGeneration stuff is now used to generate everything for a test case, which means it's all unified and "nice" now. Add a @UseGenerator annotation to be used to specify how to generate specific field values. Obviously, not everything can be generated magically, so if you specify a @DataSource in your test then it will be used in preference to any magically generated value.
2015-06-09	Add an ObjectGenerator<>, and related machinery (also a mapOf generator)	Carlo Zancanaro

2015-06-09	Clean up imports	Carlo Zancanaro

2015-06-06	Lots of work on the stateful checking stuff: it's a fair bit nicer now	Carlo Zancanaro

2015-06-05	More work on the stateful checker; still not perfect, but it's getting better	Carlo Zancanaro

2015-06-05	First cut of a stateful testing framework (it's pretty hacky at the moment, ↵	Carlo Zancanaro
	but all the pieces are there)
2015-06-04	Static imports for a test, just to make it read a little bit more nicely	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	Add some more interesting tests	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 ↵	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