aboutsummaryrefslogtreecommitdiffstats
path: root/test/pinning11.test
Commit message (Expand)AuthorAgeFilesLines
* errors: fix a test case, and misanalysis of certain namesTimo Teräs2013-06-181-1/+1
* errors: rewrite the logic how errors are reportedTimo Teräs2013-06-131-2/+4
* solver: rewrite as deductive solver -- pinning supportTimo Teräs2013-06-131-0/+8