summaryrefslogtreecommitdiff
path: root/test/pinning-basic.repo
AgeCommit message (Collapse)AuthorFilesLines
2013-09-06solver: if pinning is specified, it overrides preferred reposTimo Teräs1-0/+6
add also a test case for this
2013-06-13solver: rewrite as deductive solver -- pinning supportTimo Teräs1-0/+20
Fix also pinning test cases to be more sane.