| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 | 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 |
 |
index : java-check | |
| Property-based testing for Java within JUnit. | Carlo |
| summaryrefslogtreecommitdiff |