java-check/src/main/java/au/id, branch master Property-based testing for Java within JUnit. http://onix.zancanaro.id.au/Archive/java-check/atom?h=master 2015-11-24T01:57:27Z Add an implicit generator for Sets 2015-11-24T01:57:27Z Carlo Zancanaro carlo@zancanaro.id.au 2015-11-24T01:57:27Z urn:sha1:8376ed30f83c9193025da5962de5f5d78edfa185 Fix up some minor code-quality things 2015-07-06T13:47:20Z Carlo Zancanaro carlo@zancanaro.id.au 2015-07-06T13:47:20Z urn:sha1:47313d5a766bf970095228c1b577244f7fc55415 Fix the warnings from the previous commit 2015-07-06T12:46:02Z Carlo Zancanaro carlo@zancanaro.id.au 2015-07-06T12:46:02Z urn:sha1:a7b074875f241d98877de51a93717d56cf2d19e4 Report command lists more nicely (line breaks between commands); report number of nodes visited during shrinking; other small fixes 2015-06-10T14:27:06Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-10T14:27:06Z urn:sha1:b2055f2a1dd2117cdd05ab6596c38c82d3d05240 Support enums in the ObjectGeneration stuff 2015-06-09T14:21:35Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-09T14:21:35Z urn:sha1:60bc9218d0872e40a6857706d51955ee3d058717 A few changes, as suggested by static analysis 2015-06-09T13:58:41Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-09T13:58:41Z urn:sha1:6546881559e4bbcfe2b220199a9f3cd4196d1960 Generalise the ObjectGeneration stuff 2015-06-09T13:31:54Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-09T13:31:54Z urn:sha1:40961d4950c40643d5d71721a7e024e3951323ce 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. Add an ObjectGenerator<>, and related machinery (also a mapOf generator) 2015-06-09T07:33:56Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-09T07:33:56Z urn:sha1:dd9f72b94eb7b2c37061c80457e74e8d7ac3e18f Make the initial state pass through to CommandList (for isValid()) 2015-06-06T08:40:03Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-06T08:40:03Z urn:sha1:285f1079b533a79311f33d2c8070a6180a67f5ed Lots of work on the stateful checking stuff: it's a fair bit nicer now 2015-06-06T06:40:04Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-06T06:40:04Z urn:sha1:84f0f216b4643601e4b8760d190b087bbce98bd4