Name | Status | Type | Time(s) |
testConvertTermToGoal | Success | | 0.008 |
testUnloadLibraryAfterLoadingTheory | Success | | 0.141 |
testEngineInitialization | Success | | 0.023 |
testLoadLibraryAsString | Success | | 0.024 |
testLoadLibraryAsObject | Success | | 0.008 |
testGetLibraryWithName | Success | | 0.000 |
testSpyListenerManagement | Success | | 0.016 |
testAddTheory | Success | | 0.016 |
testLibraryListener | Success | | 0.015 |
testTheoryListener | Success | | 0.016 |
testQueryListener | Success | | 0.031 |
testIsCompound | Success | | 0.000 |
testEqualsToStruct | Success | | 0.000 |
testEqualsToVar | Success | | 0.000 |
testEqualsToInt | Success | | 0.000 |
testEqualsToLong | Success | | 0.000 |
testEqualsToDouble | Success | | 0.000 |
testEqualsToFloat | Success | | 0.000 |
testIsAtomic | Success | | 0.000 |
testIsAtom | Success | | 0.000 |
testGetPrimitives | Success | | 0.000 |
testTab1 | Success | | 0.016 |
testIsCompound | Success | | 0.000 |
testEqualsToStruct | Success | | 0.000 |
testEqualsToVar | Success | | 0.000 |
testEqualsToInt | Success | | 0.000 |
testEqualsToLong | Success | | 0.000 |
testEqualsToDouble | Success | | 0.000 |
testEqualsToFloat | Success | | 0.000 |
testIsAtomic | Success | | 0.000 |
testIsAtom | Success | | 0.000 |
testGetSubsequentQuery | Success | | 0.007 |
testUnknownPredicateInQuery | Success | | 0.016 |
testUnknownPredicateInTheory | Success | | 0.008 |
testEmptyIterator | Success | | 0.000 |
testIteratorCount | Success | | 0.000 |
testRemoveOperationNotSupported | Success | | 0.000 |
testMultipleHasNext | Success | | 0.000 |
testMultipleNext | Success | | 0.000 |
testIsCompound | Success | | 0.000 |
testStructWithNullArgument | Success | | 0.000 |
testStructWithNullName | Success | | 0.000 |
testStructWithEmptyName | Success | | 0.000 |
testEmptyListAsSquaredStruct | Success | | 0.000 |
testEmptyListAsDottedStruct | Success | | 0.000 |
testListAsDottedStruct | Success | | 0.000 |
testListFromArgumentArray | Success | | 0.000 |
testIsAtomic | Success | | 0.000 |
testIsAtom | Success | | 0.000 |
testEmptyList | Success | | 0.000 |
testNonListHead | Success | | 0.000 |
testNonListTail | Success | | 0.000 |
testNonListSize | Success | | 0.000 |
testNonListIterator | Success | | 0.000 |
testIteratedGoalTerm | Success | | 0.000 |
testEqualsToObject | Success | | 0.000 |
testListSize | Success | | 0.000 |
testToList | Success | | 0.000 |
testToString | Success | | 0.000 |
testAppend | Success | | 0.000 |
testIsList | Success | | 0.000 |
testEmptyIterator | Success | | 0.000 |
testRemoveOperationNotSupported | Success | | 0.000 |
testIteratorOnInvalidTerm | Success | | 0.000 |
testIterationOnInvalidTheory | Success | | 0.000 |
testMultipleHasNext | Success | | 0.000 |
testMultipleNext | Success | | 0.007 |
testIterationCount | Success | | 0.000 |
testToStringWithParenthesis | Success | | 0.000 |
testAppendClauseLists | Success | | 0.008 |
testAssertNotBacktrackable | Success | | 0.016 |
testUnknownDirective | Success | | 0.008 |
testFailedDirective | Success | | 0.015 |
testAbolish | Success | | 0.008 |
testLibraryFunctor | Success | | 0.008 |
testLibraryPredicate | Success | | 0.016 |
testGetPrimitives | Success | | 0.000 |
testDynamicObjectsRetrival | Success | | 0.007 |
testAnonymousObjectRegistration | Success | | 0.016 |
testSingleQuotedTermWithInvalidLineBreaks | Success | | 0.000 |
testReadingTerms | Success | | 0.000 |
testReadingEOF | Success | | 0.000 |
testListWithTail | Success | | 0.000 |
testUnivOperator | Success | | 0.000 |
testDotOperator | Success | | 0.000 |
testEmptyDCGAction | Success | | 0.000 |
testSingleDCGAction | Success | | 0.000 |
testUnaryPlusOperator | Success | | 0.000 |
testUnaryMinusOperator | Success | | 0.000 |
testBinaryMinusOperator | Success | | 0.000 |
testBracketedOperatorAsTerm | Success | | 0.000 |
testBracketedOperatorAsTerm2 | Success | | 0.008 |
testMultipleDCGAction | Success | | 0.000 |
testMissingDCGActionElement | Success | | 0.000 |
testUncompleteDCGAction | Success | | 0.000 |
testMultilineComments | Success | | 0.000 |
testBraces | Success | | 0.000 |
testIntegerBinaryRepresentation | Success | | 0.000 |
testIntegerOctalRepresentation | Success | | 0.000 |
testIntegerHexadecimalRepresentation | Success | | 0.000 |
testDCGActionCommaAsAnotherSymbol | Success | | 0.000 |
testToString | Success | | 0.008 |
testIsCompound | Success | | 0.000 |
testIsAtomic | Success | | 0.000 |
testIsAtom | Success | | 0.000 |
testDifferntVarsCompareEqual | Failure | 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]>
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 |