aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t2442
Commit message (Expand)AuthorAgeFilesLines
* Change `ClassicReporter` to `TestReporter` in test sourcesFelix Mulder2016-11-091-9/+2
* add test set for exhaustivity and redundancy checkliu fengyun2016-08-244-0/+33