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 |
![]() |
index : java-check | |
Property-based testing for Java within JUnit. | Carlo |
summaryrefslogtreecommitdiff |
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 |