aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat
Commit message (Collapse)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