aboutsummaryrefslogtreecommitdiffstats
path: root/test/conflict2.test
Commit message (Expand)AuthorAgeFilesLines
* errors: rewrite the logic how errors are reportedTimo Teräs2013-06-131-2/+4
* solver: rewrite as deductive solver -- core featuresTimo Teräs2013-06-131-1/+1
* test: fix conflict2 expectation after solver changesTimo Teräs2012-10-091-1/+1
* solver, test: make conflicts unconditionalTimo Teräs2012-02-291-1/+1
* test: rewrite the testing framework to use the real appletsTimo Teräs2012-02-231-0/+6