summaryrefslogtreecommitdiff
path: root/test/conflict2.test
AgeCommit message (Expand)AuthorFilesLines
2013-06-13errors: rewrite the logic how errors are reportedTimo Teräs1-2/+4
2013-06-13solver: rewrite as deductive solver -- core featuresTimo Teräs1-1/+1
2012-10-09test: fix conflict2 expectation after solver changesTimo Teräs1-1/+1
2012-02-29solver, test: make conflicts unconditionalTimo Teräs1-1/+1
2012-02-23test: rewrite the testing framework to use the real appletsTimo Teräs1-0/+6