java-check/src/test/java/au/id/zancanaro/javacheck/state, branch master Property-based testing for Java within JUnit. http://onix.zancanaro.id.au/Archive/java-check/atom?h=master 2015-06-10T14:27:26Z 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 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. Clean up imports 2015-06-09T07:33:04Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-09T07:33:04Z urn:sha1:813e523e9e57dc38f81afc53340e216b948d87cf 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 More work on the stateful checker; still not perfect, but it's getting better 2015-06-05T07:30:46Z Carlo Zancanaro carlo@zancanaro.id.au 2015-06-05T07:30:46Z urn:sha1:05ec409ce96da92d430c4a8e58b08d46f42d667a