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