summaryrefslogtreecommitdiff
path: root/test/provides2.test
AgeCommit message (Expand)AuthorFilesLines
2013-06-13errors: rewrite the logic how errors are reportedTimo Teräs1-5/+4
2013-06-13solver: rewrite as deductive solver -- core featuresTimo Teräs1-1/+1
2012-02-27solver, test: implements more provides things, add testsTimo Teräs1-0/+9