aboutsummaryrefslogtreecommitdiffstats
path: root/test/error3.test
Commit message (Expand)AuthorAgeFilesLines
* solver, errors: fix few additional test cases and clean upsTimo Teräs2013-06-131-1/+1
* errors: rewrite the logic how errors are reportedTimo Teräs2013-06-131-2/+7
* 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