| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-06-11 | Report command lists more nicely (line breaks between commands); report ↵ | Carlo Zancanaro | |
| number of nodes visited during shrinking; other small fixes | |||
| 2015-06-10 | Support enums in the ObjectGeneration stuff | Carlo Zancanaro | |
| 2015-06-09 | A few changes, as suggested by static analysis | Carlo Zancanaro | |
| 2015-06-09 | Generalise the ObjectGeneration stuff | Carlo Zancanaro | |
| 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. | |||
| 2015-06-09 | Add an ObjectGenerator<>, and related machinery (also a mapOf generator) | Carlo Zancanaro | |
| 2015-06-09 | Clean up imports | Carlo Zancanaro | |
| 2015-06-06 | Make the initial state pass through to CommandList (for isValid()) | Carlo Zancanaro | |
| 2015-06-06 | Lots of work on the stateful checking stuff: it's a fair bit nicer now | Carlo Zancanaro | |
| 2015-06-05 | More work on the stateful checker; still not perfect, but it's getting better | Carlo Zancanaro | |
| 2015-06-05 | First cut of a stateful testing framework (it's pretty hacky at the moment, ↵ | Carlo Zancanaro | |
| but all the pieces are there) | |||
| 2015-06-04 | Static imports for a test, just to make it read a little bit more nicely | Carlo Zancanaro | |
| 2015-06-04 | Fix up generic types by adding bounds where possible instead of rigid ↵ | Carlo Zancanaro | |
| constraints | |||
| 2015-06-04 | Make a method static, just because I can | Carlo Zancanaro | |
| 2015-06-04 | Move stuff over to using streams instead of iterators: much nicer! | Carlo Zancanaro | |
| 2015-06-04 | Don't convert to/from arrays/lists unnecessarily while running tests | Carlo Zancanaro | |
| 2015-06-04 | Properly mark Generator and ShrinkStrategy with @FunctionalInterface | Carlo Zancanaro | |
| 2015-06-04 | Clean up a bit of the ShrinkTree stuff, particularly for shrinking | Carlo Zancanaro | |
| 2015-06-03 | Change shrinking a bit, add more generators, fix some types, moved suchThat | Carlo Zancanaro | |
| Shrinking is now done using a "ShrinkStrategy". It's pretty similar to what it used to be in the end, but instead of generating new ShrinkTree<T>s yourself, you just generate smaller <T>s, and the generator framework will re-call your strategy to shrink smaller elements. (So, essentially, ShrinkStrategy.shrink(T obj) returns an Iterator<T> which then has smaller trees calculated from it.) Added some more generators. In particular: longs and doubles. Fixed some types, so now Generator.tuple(integer(), string()) will work. Yay! Move suchThat to Generator, so now integer().suchThat(x -> x < 10) will work instead of the old Generators.suchThat(x -> x < 10, integer()), which felt a bit weird. | |||
| 2015-06-03 | Rename RoseTree to ShrinkTree (less confusing and more specific) | Carlo Zancanaro | |
| 2015-06-03 | Add some more interesting tests | Carlo Zancanaro | |
| 2015-06-02 | Fix up some static analysis warnings and improve @DataPoint detection | Carlo Zancanaro | |
| 2015-06-01 | Make shrinking print where it's up to when signal (ie. ctrl+c) before exiting | Carlo Zancanaro | |
| 2015-06-01 | Make listOf able to take a min/max length of list | Carlo Zancanaro | |
| 2015-06-01 | Add some docs to the Generator interface | Carlo Zancanaro | |
| 2015-06-01 | Apparently bitbucket doesn't like org mode at all | Carlo Zancanaro | |
| 2015-06-01 | Add a simple readme with an example | Carlo Zancanaro | |
| 2015-06-01 | Fix up static analysis issues (FindBugs and Intellij IDEA analysis) | Carlo Zancanaro | |
| 2015-06-01 | Rename fmap -> map (apparently that's what Java's going with, see ↵ | Carlo Zancanaro | |
| java.util.Optional) | |||
| 2015-06-01 | Fix up list shrinking, remove minor superfluous things | Carlo Zancanaro | |
| 2015-06-01 | Move packages, make lists shrink in size, generate lists instead of arrays ↵ | Carlo Zancanaro | |
| as the 'primitive' operation (issues with generics) | |||
| 2015-06-01 | Add @DataSource, allow printing of RoseTrees, other small changes to generators | Carlo Zancanaro | |
| 2015-06-01 | Just some rearranging, renaming and clean-up | Carlo Zancanaro | |
| 2015-05-31 | Lots more updates | Carlo Zancanaro | |
| + add a list generator, and some more number generators. + bugfix the assumption checking stuff: if it failed once it would pretty likely continue to fail! + write some simple actualy properties: - reverse . reverse = id - sort . sort = sort | |||
| 2015-05-31 | Improve lots of things | Carlo Zancanaro | |
| In particular: + make output more sane and less all over the place + just ignore original exception, the shrunk one is the only one which really matters + fit into the jUnit framework more (so now @Before, @After and stuff work) | |||
| 2015-05-31 | Better code, based off ParentRunner among other things | Carlo Zancanaro | |
| 2015-05-30 | Initial commit: only works for plain int typed arguments | Carlo Zancanaro | |
 |
index : java-check | |
| Property-based testing for Java within JUnit. | Carlo |
| summaryrefslogtreecommitdiff |