summaryrefslogtreecommitdiff
path: root/test/files/specialized/spec-patmatch.check
Commit message (Collapse)AuthorAgeFilesLines
* virtpatmat on by default; chicken out: -XoldpatmatAdriaan Moors2012-04-141-1/+1
| | | | | | | some tests (unreachability, exhaustivity, @switch annotation checking) are still run under -Xoldpatmat, but that will change before we go into RC mode (then the test/ partest of this commit will be reverted) removed irrelevant dependency on patmat
* Adapted specialization tests to track number of...Aleksandar Pokopec2011-01-171-0/+20
Adapted specialization tests to track number of boxings. Review by dragos