| Age | Commit message (Expand) | Author |
|---|
| 2015-07-06 | Fix up some minor code-quality things | Carlo Zancanaro |
| 2015-07-06 | Fix the warnings from the previous commit | Carlo Zancanaro |
| 2015-06-11 | Report command lists more nicely (line breaks between commands); report numbe... | Carlo Zancanaro |
| 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...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-09 | Add an ObjectGenerator<>, and related machinery (also a mapOf generator) | 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, b... | Carlo Zancanaro |
| 2015-06-04 | Fix up generic types by adding bounds where possible instead of rigid constra... | Carlo Zancanaro |
| 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...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.
| Carlo Zancanaro |
| 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 | 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 java.util.O... | Carlo Zancanaro |
| 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 as... | Carlo Zancanaro |
