java-check/src/main/java/au/id/zancanaro/annotations, branch master Property-based testing for Java within JUnit. http://onix.zancanaro.id.au/Archive/java-check/atom?h=master 2015-06-01T01:41:16Z Move packages, make lists shrink in size, generate lists instead of arrays as the 'primitive' operation (issues with generics) 2015-06-01T01:41:16Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-01T01:41:16Z urn:sha1:8187f024bae57267af514c5dcb730de09e573e41 Add @DataSource, allow printing of RoseTrees, other small changes to generators 2015-06-01T00:38:08Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-01T00:38:08Z urn:sha1:edfce37bc21699042baf14ad6d172d3187fe530c Just some rearranging, renaming and clean-up 2015-05-31T14:25:19Z Carlo Zancanaro carlo@zancanaro.id.au 2015-05-31T14:25:19Z urn:sha1:7e1182355d54f0dc8461ce7df7c4aca8c40d2a92 Improve lots of things 2015-05-31T06:48:45Z Carlo Zancanaro carlo@zancanaro.id.au 2015-05-31T06:48:45Z urn:sha1:199037f9c80afd885f1f536d91b40a8397cd6bf2 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) Initial commit: only works for plain int typed arguments 2015-05-29T16:00:43Z Carlo Zancanaro carlo@zancanaro.id.au 2015-05-29T16:00:43Z urn:sha1:d29e1d49116c66adab72b1c1bb49c1fa3d4f8140