summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-10-07Add gitignoreHEADmasterCarlo Zancanaro
2015-11-24Add an implicit generator for SetsCarlo Zancanaro
2015-07-07Run less tests (to make them faster)Carlo Zancanaro
2015-07-06Fix up some minor code-quality thingsCarlo Zancanaro
2015-07-06Fix the warnings from the previous commitCarlo Zancanaro
2015-07-06Add warnings to the build (but haven't fixed them yet)Carlo Zancanaro
2015-06-25Fix up the character encoding stuff for the buildCarlo Zancanaro
2015-06-11Make the QueueTest Offer command validate its return valueCarlo Zancanaro
2015-06-11Report command lists more nicely (line breaks between commands); report numbe...Carlo Zancanaro
2015-06-10Support enums in the ObjectGeneration stuffCarlo Zancanaro
2015-06-09A few changes, as suggested by static analysisCarlo Zancanaro
2015-06-09Generalise the ObjectGeneration stuff...Carlo Zancanaro
2015-06-09Add an ObjectGenerator<>, and related machinery (also a mapOf generator)Carlo Zancanaro
2015-06-09Clean up importsCarlo 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
2015-06-05First cut of a stateful testing framework (it's pretty hacky at the moment, b...Carlo Zancanaro
2015-06-04Static imports for a test, just to make it read a little bit more nicelyCarlo Zancanaro
2015-06-04Fix up generic types by adding bounds where possible instead of rigid constra...Carlo Zancanaro
2015-06-04Make a method static, just because I canCarlo Zancanaro
2015-06-04Move stuff over to using streams instead of iterators: much nicer!Carlo Zancanaro
2015-06-04Don't convert to/from arrays/lists unnecessarily while running testsCarlo Zancanaro
2015-06-04Properly mark Generator and ShrinkStrategy with @FunctionalInterfaceCarlo Zancanaro
2015-06-04Clean up a bit of the ShrinkTree stuff, particularly for shrinkingCarlo Zancanaro
2015-06-03Change shrinking a bit, add more generators, fix some types, moved suchThat...Carlo Zancanaro
2015-06-03Rename RoseTree to ShrinkTree (less confusing and more specific)Carlo Zancanaro
2015-06-03Add some more interesting testsCarlo Zancanaro
2015-06-02Fix up some static analysis warnings and improve @DataPoint detectionCarlo Zancanaro
2015-06-01Make shrinking print where it's up to when signal (ie. ctrl+c) before exitingCarlo Zancanaro
2015-06-01Make listOf able to take a min/max length of listCarlo Zancanaro
2015-06-01Add some docs to the Generator interfaceCarlo Zancanaro
2015-06-01Apparently bitbucket doesn't like org mode at allCarlo Zancanaro
2015-06-01Add a simple readme with an exampleCarlo Zancanaro
2015-06-01Fix up static analysis issues (FindBugs and Intellij IDEA analysis)Carlo Zancanaro
2015-06-01Rename fmap -> map (apparently that's what Java's going with, see java.util.O...Carlo Zancanaro
2015-06-01Fix up list shrinking, remove minor superfluous thingsCarlo Zancanaro
2015-06-01Move packages, make lists shrink in size, generate lists instead of arrays as...Carlo Zancanaro
2015-06-01Add @DataSource, allow printing of RoseTrees, other small changes to generatorsCarlo Zancanaro
2015-06-01Just some rearranging, renaming and clean-upCarlo Zancanaro
2015-05-31Lots more updates...Carlo Zancanaro
2015-05-31Improve lots of things...Carlo Zancanaro
2015-05-31Better code, based off ParentRunner among other thingsCarlo Zancanaro
2015-05-30Initial commit: only works for plain int typed argumentsCarlo Zancanaro