Test Database Connection:
SUCCESS!
Test Word Ending Characters Regex Number:
SUCCESS!
Test Syntax definition exception:
This syntax should have thrown a syntax exception: exp is $
This syntax should have thrown a syntax exception: {exp,world} $
This syntax should have thrown a syntax exception: [exp$]
This syntax should have thrown a syntax exception: group
This syntax should have thrown a syntax exception: \
This syntax should have thrown a syntax exception: +
The test returned: false
and should have returned: true
FAILURE!
Test Pred, Expr, Cond, Stmt Conversions:
Uncaught SyntaxException: The term $ = $ is undefined. in /home/debian/modusponens/private/class/expr.php:321 Stack trace:
#0 /home/debian/modusponens/private/class/expr.php(86): Expr->namedTreeFromLabel()
#1 /home/debian/modusponens/private/class/expr.php(73): Expr->getNamedTree()
#2 /home/debian/modusponens/private/common/tests.php(62): Expr->getPred()
#3 /home/debian/modusponens/private/content/test.php(38): test_conversions()
#4 /home/debian/modusponens/private/content/test.php(10): displayTests()
#5 /home/debian/modusponens/private/index.php(39): require_once('/home/debian/mo...')
#6 /home/debian/modusponens/index.php(9): require_once('/home/debian/mo...')
#7 {main} thrown
/home/debian/modusponens/private/class/expr.php line 321