summaryrefslogtreecommitdiff
path: root/test/pinning11.test
AgeCommit message (Expand)AuthorFilesLines
2020-10-03commit: rephrase the error messages more understandableTimo Teräs1-1/+1
2013-06-18errors: fix a test case, and misanalysis of certain namesTimo Teräs1-1/+1
2013-06-13errors: rewrite the logic how errors are reportedTimo Teräs1-2/+4
2013-06-13solver: rewrite as deductive solver -- pinning supportTimo Teräs1-0/+8