| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 ↵ | Carlo Zancanaro | |
| number of nodes visited during shrinking; other small fixes | |||
| 2015-06-09 | A few changes, as suggested by static analysis | 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 |