aboutsummaryrefslogtreecommitdiffstats
path: root/test/error5.test
Commit message (Expand)AuthorAgeFilesLines
* upgrade: new option: --latest (-l)Timo Teräs2013-06-191-3/+3
* solver, errors: fix few additional test cases and clean upsTimo Teräs2013-06-131-1/+3
* errors: rewrite the logic how errors are reportedTimo Teräs2013-06-131-1/+1
* solver: rewrite as deductive solver -- core featuresTimo Teräs2013-06-131-1/+1
* test: rewrite the testing framework to use the real appletsTimo Teräs2012-02-231-2/+6
* solver: generate proper error messagesTimo Teräs2011-08-011-0/+2