aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/hkrange.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix caching bug: don't assume that tvars instantiation cannot be retractedGuillaume Martres2016-01-171-5/+0
* move failing tests from tests/untried/pos to tests/pending/posSamuel Gruetter2014-12-161-0/+5