Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix #2253: avoid exception with refinement types | liu fengyun | 2017-04-13 | 1 | -0/+7 |
* | fix #2254: dealias types in decomposition of spaces | liu fengyun | 2017-04-13 | 1 | -0/+6 |
* | add more enum exhaustivity tests | liu fengyun | 2017-04-06 | 3 | -0/+77 |
* | exhaustivity support for enums | liu fengyun | 2017-04-06 | 6 | -5/+17 |
* | 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 |