java-check/src/main/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-07-06T12:46:02Z 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 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 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 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