summaryrefslogtreecommitdiff
path: root/src/test/java/au/id/zancanaro/javacheck/state/queue
AgeCommit message (Expand)Author
2015-06-11Make the QueueTest Offer command validate its return valueCarlo Zancanaro
2015-06-09A few changes, as suggested by static analysisCarlo Zancanaro
2015-06-09Generalise the ObjectGeneration stuff...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. Carlo Zancanaro
2015-06-09Clean up importsCarlo Zancanaro
2015-06-06Lots of work on the stateful checking stuff: it's a fair bit nicer nowCarlo Zancanaro
2015-06-05More work on the stateful checker; still not perfect, but it's getting betterCarlo Zancanaro