Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |