aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat
Commit message (Expand)AuthorAgeFilesLines
* Recurse into refined type when exposing membersAleksander Boruch-Gruszecki2017-04-132-3/+29
* fix #2253: avoid exception with refinement typesliu fengyun2017-04-131-0/+7
* fix #2254: dealias types in decomposition of spacesliu fengyun2017-04-131-0/+6
* add more enum exhaustivity testsliu fengyun2017-04-063-0/+77
* exhaustivity support for enumsliu fengyun2017-04-066-5/+17
* Change `ClassicReporter` to `TestReporter` in test sourcesFelix Mulder2016-11-0946-409/+92
* add the forgotten patmat testliu fengyun2016-11-091-1/+1
* add test set for exhaustivity and redundancy checkliu fengyun2016-08-24136-0/+3184