summaryrefslogtreecommitdiff
path: root/test/error1.test
AgeCommit message (Expand)AuthorFilesLines
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