Unit Test Results.

Designed for use with JUnit and Ant.

Class alice.tuprolog.TuPrologTestSuite

NameTestsErrorsFailuresTime(s)Time StampHost
TuPrologTestSuite106010.6872012-03-30T14:37:07ale-PC

Tests

NameStatusTypeTime(s)
testConvertTermToGoalSuccess0.008
testUnloadLibraryAfterLoadingTheorySuccess0.141
testEngineInitializationSuccess0.023
testLoadLibraryAsStringSuccess0.024
testLoadLibraryAsObjectSuccess0.008
testGetLibraryWithNameSuccess0.000
testSpyListenerManagementSuccess0.016
testAddTheorySuccess0.016
testLibraryListenerSuccess0.015
testTheoryListenerSuccess0.016
testQueryListenerSuccess0.031
testIsCompoundSuccess0.000
testEqualsToStructSuccess0.000
testEqualsToVarSuccess0.000
testEqualsToIntSuccess0.000
testEqualsToLongSuccess0.000
testEqualsToDoubleSuccess0.000
testEqualsToFloatSuccess0.000
testIsAtomicSuccess0.000
testIsAtomSuccess0.000
testGetPrimitivesSuccess0.000
testTab1Success0.016
testIsCompoundSuccess0.000
testEqualsToStructSuccess0.000
testEqualsToVarSuccess0.000
testEqualsToIntSuccess0.000
testEqualsToLongSuccess0.000
testEqualsToDoubleSuccess0.000
testEqualsToFloatSuccess0.000
testIsAtomicSuccess0.000
testIsAtomSuccess0.000
testGetSubsequentQuerySuccess0.007
testUnknownPredicateInQuerySuccess0.016
testUnknownPredicateInTheorySuccess0.008
testEmptyIteratorSuccess0.000
testIteratorCountSuccess0.000
testRemoveOperationNotSupportedSuccess0.000
testMultipleHasNextSuccess0.000
testMultipleNextSuccess0.000
testIsCompoundSuccess0.000
testStructWithNullArgumentSuccess0.000
testStructWithNullNameSuccess0.000
testStructWithEmptyNameSuccess0.000
testEmptyListAsSquaredStructSuccess0.000
testEmptyListAsDottedStructSuccess0.000
testListAsDottedStructSuccess0.000
testListFromArgumentArraySuccess0.000
testIsAtomicSuccess0.000
testIsAtomSuccess0.000
testEmptyListSuccess0.000
testNonListHeadSuccess0.000
testNonListTailSuccess0.000
testNonListSizeSuccess0.000
testNonListIteratorSuccess0.000
testIteratedGoalTermSuccess0.000
testEqualsToObjectSuccess0.000
testListSizeSuccess0.000
testToListSuccess0.000
testToStringSuccess0.000
testAppendSuccess0.000
testIsListSuccess0.000
testEmptyIteratorSuccess0.000
testRemoveOperationNotSupportedSuccess0.000
testIteratorOnInvalidTermSuccess0.000
testIterationOnInvalidTheorySuccess0.000
testMultipleHasNextSuccess0.000
testMultipleNextSuccess0.007
testIterationCountSuccess0.000
testToStringWithParenthesisSuccess0.000
testAppendClauseListsSuccess0.008
testAssertNotBacktrackableSuccess0.016
testUnknownDirectiveSuccess0.008
testFailedDirectiveSuccess0.015
testAbolishSuccess0.008
testLibraryFunctorSuccess0.008
testLibraryPredicateSuccess0.016
testGetPrimitivesSuccess0.000
testDynamicObjectsRetrivalSuccess0.007
testAnonymousObjectRegistrationSuccess0.016
testSingleQuotedTermWithInvalidLineBreaksSuccess0.000
testReadingTermsSuccess0.000
testReadingEOFSuccess0.000
testListWithTailSuccess0.000
testUnivOperatorSuccess0.000
testDotOperatorSuccess0.000
testEmptyDCGActionSuccess0.000
testSingleDCGActionSuccess0.000
testUnaryPlusOperatorSuccess0.000
testUnaryMinusOperatorSuccess0.000
testBinaryMinusOperatorSuccess0.000
testBracketedOperatorAsTermSuccess0.000
testBracketedOperatorAsTerm2Success0.008
testMultipleDCGActionSuccess0.000
testMissingDCGActionElementSuccess0.000
testUncompleteDCGActionSuccess0.000
testMultilineCommentsSuccess0.000
testBracesSuccess0.000
testIntegerBinaryRepresentationSuccess0.000
testIntegerOctalRepresentationSuccess0.000
testIntegerHexadecimalRepresentationSuccess0.000
testDCGActionCommaAsAnotherSymbolSuccess0.000
testToStringSuccess0.008
testIsCompoundSuccess0.000
testIsAtomicSuccess0.000
testIsAtomSuccess0.000
testDifferntVarsCompareEqualFailureVar == 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
Properties »