aboutsummaryrefslogtreecommitdiffstats
path: root/test/pinning5.test
Commit message (Expand)AuthorAgeFilesLines
* solver: rewrite as deductive solver -- pinning supportTimo Teräs2013-06-131-3/+3
* test: improve pinning testsTimo Teräs2012-02-241-0/+9