java-check/src, 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 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 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 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