| Age | Commit message (Expand) | Author |
|---|
| 2015-06-09 | Clean up imports | 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 | Static imports for a test, just to make it read a little bit more nicely | 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 | Add some more interesting tests | 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 |
| 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...+ 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
| Carlo Zancanaro |
| 2015-05-31 | Improve lots of things...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)
| Carlo Zancanaro |
| 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 |
