summaryrefslogtreecommitdiff
path: root/src/main/java/au/id/zancanaro/javacheck/state
AgeCommit message (Expand)Author
2015-06-09A few changes, as suggested by static analysisCarlo Zancanaro
2015-06-09Add an ObjectGenerator<>, and related machinery (also a mapOf generator)Carlo Zancanaro
2015-06-06Make the initial state pass through to CommandList (for isValid())Carlo 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