summaryrefslogtreecommitdiff
path: root/test/pinning5.test
AgeCommit message (Collapse)AuthorFilesLines
2013-06-13solver: rewrite as deductive solver -- pinning supportTimo Teräs1-3/+3
Fix also pinning test cases to be more sane.
2012-02-24test: improve pinning testsTimo Teräs1-0/+9