summaryrefslogtreecommitdiff
path: root/test/error3.test
AgeCommit message (Expand)AuthorFilesLines
2020-10-03commit: rephrase the error messages more understandableTimo Teräs1-1/+1
2013-06-13solver, errors: fix few additional test cases and clean upsTimo Teräs1-1/+1
2013-06-13errors: rewrite the logic how errors are reportedTimo Teräs1-2/+7
2013-06-13solver: rewrite as deductive solver -- core featuresTimo Teräs1-1/+1
2012-02-23test: rewrite the testing framework to use the real appletsTimo Teräs1-2/+6
2011-08-01solver: generate proper error messagesTimo Teräs1-0/+2