summaryrefslogtreecommitdiff
path: root/test/pinning8.test
AgeCommit message (Expand)AuthorFilesLines
2012-02-24solver: non preferred actions are worse then non preferred pinningTimo Teräs1-0/+11