java-check, branch master Property-based testing for Java within JUnit. http://onix.zancanaro.id.au/Archive/java-check/atom?h=master 2019-10-07T10:25:51Z Add gitignore 2019-10-07T10:25:51Z Carlo Zancanaro carlo.zancanaro@rokt.com 2019-10-07T10:25:51Z urn:sha1:84409483f81657cb140a7d412717680a620af8dc 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 Run less tests (to make them faster) 2015-07-06T14:02:23Z Carlo Zancanaro carlo@zancanaro.id.au 2015-07-06T14:02:23Z urn:sha1:1b0565b1f6b4d5009da689ba5d486bce203e4905 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 Add warnings to the build (but haven't fixed them yet) 2015-07-06T12:30:29Z Carlo Zancanaro carlo@zancanaro.id.au 2015-07-06T12:30:29Z urn:sha1:2348f721ba7475b65afeefb108012c564e5653ce Fix up the character encoding stuff for the build 2015-06-25T08:35:08Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-25T08:35:08Z urn:sha1:2891f0873846032d9a252d4954dd2f368f6f6b13 Make the QueueTest Offer command validate its return value 2015-06-10T14:27:26Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-10T14:27:26Z urn:sha1:452e8e3fb2bf9a735a7632b8569140b40f7d37a5 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