aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t4691_exhaust_extractor.check
Commit message (Expand)AuthorAgeFilesLines
* Change `ClassicReporter` to `TestReporter` in test sourcesFelix Mulder2016-11-091-13/+3
* add test set for exhaustivity and redundancy checkliu fengyun2016-08-241-0/+13