summaryrefslogtreecommitdiff
path: root/test/error4.test
AgeCommit message (Expand)AuthorFilesLines
2020-10-03commit: rephrase the error messages more understandableTimo Teräs1-2/+2
2013-06-13errors: rewrite the logic how errors are reportedTimo Teräs1-2/+3
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