Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Change `ClassicReporter` to `TestReporter` in test sources | Felix Mulder | 2016-11-09 | 46 | -409/+92 |
* | add the forgotten patmat test | liu fengyun | 2016-11-09 | 1 | -1/+1 |
* | add test set for exhaustivity and redundancy check | liu fengyun | 2016-08-24 | 136 | -0/+3184 |