Unit Test Results.

Designed for use with JUnit and Ant.

All Failures

ClassNameStatusTypeTime(s)
TuPrologTestSuitetestDifferntVarsCompareEqualFailureVar == should not succeed. expected:<...l input Head: d(X_e2[5,Y_e25) Wff: not_d(X_e25,U_e25) *** negated_literal in Lit:not_d(X_e25,U_e25) NotLit:d(X_e25,Y_e25) *** Lit array:[X_e122,U_e86] *** NotLit array:[X_e122,Y_e122] OTHERWISE *** negated_literal in Lit:not_d(X_e122,U_e86) NotLit:NotLit_e136 body_for_head_literal input Head: d(X_e184,Y_e122) Wff: d(X_e184,Y_e122) Wff == Head body_for_head_literal OR - Body: d(X_e249,U_e249) ]> but was:<...l input Head: d(X_e2[8,Y_e29) Wff: not_d(X_e28,U_e27) *** negated_literal in Lit:not_d(X_e28,U_e27) *** NotLit:d(X_e28,Y_e29) Not var:d(X_e94,Y_e29) *** Lit array:[X_e133,U_e95] *** NotLit array:[X_e133,Y_e134] *** SUCCEEDS body_for_head_literal input Head: d(X_e133,Y_e134) Wff: d(X_e133,Y_e134) body_for_head_literal OR - Body: false]>

junit.framework.ComparisonFailure: Var == should not succeed. expected:<...l input Head: d(X_e2[5,Y_e25)
Wff: not_d(X_e25,U_e25)
*** negated_literal in Lit:not_d(X_e25,U_e25) NotLit:d(X_e25,Y_e25)
*** Lit array:[X_e122,U_e86]
*** NotLit array:[X_e122,Y_e122]
OTHERWISE
*** negated_literal in Lit:not_d(X_e122,U_e86) NotLit:NotLit_e136
body_for_head_literal input Head: d(X_e184,Y_e122)
Wff: d(X_e184,Y_e122)
Wff == Head
body_for_head_literal OR - Body: d(X_e249,U_e249)
]> but was:<...l input Head: d(X_e2[8,Y_e29)
Wff: not_d(X_e28,U_e27)
*** negated_literal in Lit:not_d(X_e28,U_e27)
*** NotLit:d(X_e28,Y_e29)
Not var:d(X_e94,Y_e29)
*** Lit array:[X_e133,U_e95]
*** NotLit array:[X_e133,Y_e134]
*** SUCCEEDS
body_for_head_literal input Head: d(X_e133,Y_e134)
Wff: d(X_e133,Y_e134)
body_for_head_literal OR - Body: false]>
at alice.tuprolog.TestVarIsEqual.testDifferntVarsCompareEqual(TestVarIsEqual.java:129)
0.055