aboutsummaryrefslogtreecommitdiffstats
path: root/test/error2.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: 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