Unit Test Results.

Designed for use with JUnit and Ant.

All Tests

ClassNameStatusTypeTime(s)
ExceptionsTestSuitetest_expression_comparison_2_2Success0.133
ExceptionsTestSuitetest_expression_comparison_2_3Success0.023
ExceptionsTestSuitetest_expression_comparison_2_1Success0.016
ExceptionsTestSuitetest_expression_comparison_2_4Success0.015
ExceptionsTestSuitetest_expression_comparison_2_5Success0.016
ExceptionsTestSuitetest_expression_comparison_2_6Success0.016
ExceptionsTestSuitetest_expression_comparison_2_7Success0.023
ExceptionsTestSuitetest_expression_comparison_2_8Success0.016
ExceptionsTestSuitetest_expression_comparison_2_9Success0.015
ExceptionsTestSuitetest_expression_comparison_2_10Success0.016
ExceptionsTestSuitetest_expression_comparison_2_11Success0.016
ExceptionsTestSuitetest_expression_comparison_2_12Success0.007
ExceptionsTestSuitetest_expression_comparison_2_13Success0.016
ExceptionsTestSuitetest_expression_comparison_2_14Success0.008
ExceptionsTestSuitetest_expression_comparison_2_15Success0.008
ExceptionsTestSuitetest_expression_comparison_2_16Success0.008
ExceptionsTestSuitetest_expression_comparison_2_17Success0.016
ExceptionsTestSuitetest_expression_comparison_2_18Success0.008
ExceptionsTestSuitetest_expression_comparison_2_19Success0.015
ExceptionsTestSuitetest_expression_comparison_2_20Success0.008
ExceptionsTestSuitetest_expression_comparison_2_21Success0.008
ExceptionsTestSuitetest_expression_comparison_2_22Success0.016
ExceptionsTestSuitetest_expression_comparison_2_23Success0.007
ExceptionsTestSuitetest_expression_comparison_2_24Success0.008
ExceptionsTestSuitetest_expression_comparison_2_25Success0.008
ExceptionsTestSuitetest_expression_comparison_2_26Success0.008
ExceptionsTestSuitetest_expression_comparison_2_27Success0.015
ExceptionsTestSuitetest_expression_comparison_2_28Success0.008
ExceptionsTestSuitetest_expression_comparison_2_29Success0.008
ExceptionsTestSuitetest_expression_comparison_2_30Success0.015
ExceptionsTestSuitetest_expression_comparison_2_31Success0.008
ExceptionsTestSuitetest_expression_comparison_2_32Success0.008
ExceptionsTestSuitetest_expression_comparison_2_33Success0.016
ExceptionsTestSuitetest_expression_comparison_2_34Success0.008
ExceptionsTestSuitetest_expression_comparison_2_35Success0.007
ExceptionsTestSuitetest_expression_comparison_2_36Success0.008
ExceptionsTestSuitetest_expression_comparison_2_37Success0.016
ExceptionsTestSuitetest_expression_comparison_2_38Success0.008
ExceptionsTestSuitetest_expression_comparison_2_39Success0.007
ExceptionsTestSuitetest_expression_comparison_2_40Success0.008
ExceptionsTestSuitetest_expression_comparison_2_41Success0.016
ExceptionsTestSuitetest_expression_comparison_2_42Success0.008
ExceptionsTestSuitetest_assert_1_1Success0.007
ExceptionsTestSuitetest_assert_1_2Success0.008
ExceptionsTestSuitetest_retract_1_1Success0.008
ExceptionsTestSuitetest_retract_1_2Success0.008
ExceptionsTestSuitetest_retractall_1_1Success0.008
ExceptionsTestSuitetest_retractall_1_2Success0.007
ExceptionsTestSuitetest_member_2_1Success0.008
ExceptionsTestSuitetest_reverse_2_1Success0.008
ExceptionsTestSuitetest_delete_3_1Success0.008
ExceptionsTestSuitetest_element_3_1Success0.007
ExceptionsTestSuitetest_agent_1_1Success0.008
ExceptionsTestSuitetest_agent_1_2Success0.000
ExceptionsTestSuitetest_agent_2_1Success0.008
ExceptionsTestSuitetest_agent_2_2Success0.007
ExceptionsTestSuitetest_add_theory_1_3Success0.008
ExceptionsTestSuitetest_add_theory_1_2Success0.008
ExceptionsTestSuitetest_add_theory_1_1Success0.008
ExceptionsTestSuitetest_set_theory_1_3Success0.008
ExceptionsTestSuitetest_set_theory_1_2Success0.007
ExceptionsTestSuitetest_set_theory_1_1Success0.008
ExceptionsTestSuitetest_agent_2_3Success0.016
ExceptionsTestSuitetest_agent_2_4Success0.008
ExceptionsTestSuitetest_text_concat_3_1Success0.007
ExceptionsTestSuitetest_text_concat_3_2Success0.008
ExceptionsTestSuitetest_text_concat_3_3Success0.008
ExceptionsTestSuitetest_text_concat_3_4Success0.016
ExceptionsTestSuitetest_num_atom_2_1Success0.007
ExceptionsTestSuitetest_num_atom_2_2Success0.008
ExceptionsTestSuitetest_num_atom_2_3Success0.008
ExceptionsTestSuitetest_clause_2_1Success0.008
ExceptionsTestSuitetest_call_1_1Success0.008
ExceptionsTestSuitetest_call_1_2Success0.007
ExceptionsTestSuitetest_findall_3_1Success0.008
ExceptionsTestSuitetest_findall_3_2Success0.008
ExceptionsTestSuitetest_setof_3_1Success0.016
ExceptionsTestSuitetest_setof_3_2Success0.007
ExceptionsTestSuitetest_bagof_3_1Success0.008
ExceptionsTestSuitetest_bagof_3_2Success0.008
ExceptionsTestSuitetest_arg_3_4Success0.008
ExceptionsTestSuitetest_arg_3_5Success0.007
ExceptionsTestSuitetest_arg_3_3Success0.008
ExceptionsTestSuitetest_arg_3_2Success0.008
ExceptionsTestSuitetest_arg_3_1Success0.008
ExceptionsTestSuitetest_asserta_1_1Success0.008
ExceptionsTestSuitetest_asserta_1_2Success0.007
ExceptionsTestSuitetest_assertz_1_1Success0.008
ExceptionsTestSuitetest_assertz_1_2Success0.008
ExceptionsTestSuitetest_$retract_1_1Success0.016
ExceptionsTestSuitetest_$retract_1_2Success0.007
ExceptionsTestSuitetest_abolish_1_1Success0.008
ExceptionsTestSuitetest_load_library_1_1Success0.008
ExceptionsTestSuitetest_load_library_1_2Success0.023
ExceptionsTestSuitetest_load_library_1_3Success0.008
ExceptionsTestSuitetest_unload_library_1_1Success0.008
ExceptionsTestSuitetest_unload_library_1_2Success0.008
ExceptionsTestSuitetest_unload_library_1_3Success0.008
ExceptionsTestSuitetest_set_prolog_flag_2_1Success0.007
ExceptionsTestSuitetest_set_prolog_flag_2_2Success0.008
ExceptionsTestSuitetest_set_prolog_flag_2_3Success0.008
ExceptionsTestSuitetest_set_prolog_flag_2_4Success0.008
ExceptionsTestSuitetest_set_prolog_flag_2_5Success0.007
ExceptionsTestSuitetest_set_prolog_flag_2_6Success0.008
ExceptionsTestSuitetest_set_prolog_flag_2_7Success0.008
ExceptionsTestSuitetest_get_prolog_flag_2_1Success0.008
ExceptionsTestSuitetest_get_prolog_flag_2_2Success0.007
ExceptionsTestSuitetest_get_prolog_flag_2_3Success0.008
ExceptionsTestSuitetest_is_2_1Success0.008
ExceptionsTestSuitetest_is_2_2Success0.008
ExceptionsTestSuitetest_is_2_3Success0.008
ExceptionsTestSuitetest_is_2_4Success0.008
ExceptionsTestSuitetest_is_2_5Success0.007
ExceptionsTestSuitetest_$op_3_1Success0.008
ExceptionsTestSuitetest_$op_3_2Success0.008
ExceptionsTestSuitetest_$op_3_3Success0.008
ExceptionsTestSuitetest_$op_3_4Success0.007
ExceptionsTestSuitetest_$op_3_5Success0.008
ExceptionsTestSuitetest_$op_3_6Success0.008
ExceptionsTestSuitetest_$op_3_7Success0.008
ExceptionsTestSuitetest_$op_3_8Success0.007
ExceptionsTestSuitetest_abolish_1_2Success0.008
ExceptionsTestSuitetest_abolish_1_3Success0.008
ExceptionsTestSuitetest_halt_1_1Success0.008
ExceptionsTestSuitetest_halt_1_2Success0.008
ExceptionsTestSuitetest_$call_1_1Success0.007
ExceptionsTestSuitetest_$call_1_2Success0.008
ExceptionsTestSuitetest_$tolist_2_1Success0.008
ExceptionsTestSuitetest_$tolist_2_2Success0.016
ExceptionsTestSuitetest_$fromlist_2_1Success0.007
ExceptionsTestSuitetest_$fromlist_2_2Success0.008
ExceptionsTestSuitetest_$append_2_1Success0.008
ExceptionsTestSuitetest_$append_2_2Success0.008
ExceptionsTestSuitetest_$find_2_1Success0.008
ExceptionsTestSuitetest_$find_2_2Success0.015
ExceptionsTestSuitetest_phrase_2_1Success0.008
ExceptionsTestSuitetest_phrase_3_1Success0.008
ExceptionsTestSuitetest_text_from_file_2_1Success0.016
ExceptionsTestSuitetest_text_from_file_2_2Success0.007
ExceptionsTestSuitetest_text_from_file_2_3Success0.008
ExceptionsTestSuitetest_see_1_1Success0.008
ExceptionsTestSuitetest_see_1_2Success0.008
ExceptionsTestSuitetest_see_1_3Success0.008
ExceptionsTestSuitetest_put_1_1Success0.015
ExceptionsTestSuitetest_put_1_2Success0.008
ExceptionsTestSuitetest_put_1_3Success0.008
ExceptionsTestSuitetest_tab_1_1Success0.008
ExceptionsTestSuitetest_tab_1_2Success0.007
ExceptionsTestSuitetest_tell_1_1Success0.008
ExceptionsTestSuitetest_tell_1_2Success0.008
ExceptionsTestSuitetest_read_1_1Success0.008
ExceptionsTestSuitetest_write_1_1Success0.008
ExceptionsTestSuitetest_print_1_1Success0.008
ExceptionsTestSuitetest_agent_file_1_1Success0.008
ExceptionsTestSuitetest_agent_file_1_2Success0.008
ExceptionsTestSuitetest_agent_file_1_3Success0.008
ExceptionsTestSuitetest_solve_file_2_1Success0.007
ExceptionsTestSuitetest_solve_file_2_2Success0.008
ExceptionsTestSuitetest_solve_file_2_3Success0.016
ExceptionsTestSuitetest_solve_file_2_4Success0.008
ExceptionsTestSuitetest_solve_file_2_5Success0.007
ExceptionsTestSuitetest_consult_1_1Success0.008
ExceptionsTestSuitetest_consult_1_2Success0.008
ExceptionsTestSuitetest_consult_1_3Success0.016
ExceptionsTestSuitetest_atom_length_2_1Success0.008
ExceptionsTestSuitetest_atom_length_2_2Success0.007
ExceptionsTestSuitetest_atom_chars_2_1Success0.008
ExceptionsTestSuitetest_atom_chars_2_2Success0.008
ExceptionsTestSuitetest_char_code_2_1Success0.016
ExceptionsTestSuitetest_char_code_2_2Success0.007
ExceptionsTestSuitetest_sub_atom_5_2Success0.008
ExceptionsTestSuitetest_java_object_bt_3_1Success0.016
ExceptionsTestSuitetest_java_object_bt_3_2Success0.008
ExceptionsTestSuitetest_java_object_bt_3_3Success0.008
ExceptionsTestSuitetest_java_object_bt_3_4Success0.008
ExceptionsTestSuitetest_java_returns_2_1Success0.008
ExceptionsTestSuitetest_java_returns_2_2Success0.008
ExceptionsTestSuitetest_java_returns_2_3Success0.008
ExceptionsTestSuitetest_java_array_set_3_1Success0.015
ExceptionsTestSuitetest_java_array_set_3_2Success0.008
ExceptionsTestSuitetest_java_array_set_3_3Success0.008
ExceptionsTestSuitetest_java_array_get_3_1Success0.008
ExceptionsTestSuitetest_java_array_get_3_3Success0.015
ExceptionsTestSuitetest_java_object_3_1Success0.008
ExceptionsTestSuitetest_java_object_3_2Success0.008
ExceptionsTestSuitetest_java_object_3_3Success0.008
ExceptionsTestSuitetest_java_object_3_4Success0.008
ExceptionsTestSuitetest_java_class_4_1Success0.539
ExceptionsTestSuitetest_java_class_4_2Success0.461
ExceptionsTestSuitetest_java_call_3_1Success0.008
ExceptionsTestSuitetest_java_call_3_2Success0.008
ExceptionsTestSuitetest_java_call_3_3Success0.008
ExceptionsTestSuitetest_java_catch_3_1Success0.007
ExceptionsTestSuitetest_java_catch_3_2Success0.016
ExceptionsTestSuitetest_java_catch_3_3Success0.008
ExceptionsTestSuitetest_java_catch_3_4Success0.015
ExceptionsTestSuitetest_java_catch_3_5Success0.008
ExceptionsTestSuitetest_java_catch_3_6Success0.008
ExceptionsTestSuitetest_java_catch_3_7Success0.008
ExceptionsTestSuitetest_catch_3_1Success0.015
ExceptionsTestSuitetest_catch_3_2Success0.008
ExceptionsTestSuitetest_catch_3_3Success0.008
ExceptionsTestSuitetest_catch_3_4Success0.008
ExceptionsTestSuitetest_catch_3_5Success0.008
ExceptionsTestSuitetest_catch_3_6Success0.007
TuPrologTestSuitetestConvertTermToGoalSuccess0.008
TuPrologTestSuitetestUnloadLibraryAfterLoadingTheorySuccess0.141
TuPrologTestSuitetestEngineInitializationSuccess0.023
TuPrologTestSuitetestLoadLibraryAsStringSuccess0.024
TuPrologTestSuitetestLoadLibraryAsObjectSuccess0.008
TuPrologTestSuitetestGetLibraryWithNameSuccess0.000
TuPrologTestSuitetestSpyListenerManagementSuccess0.016
TuPrologTestSuitetestAddTheorySuccess0.016
TuPrologTestSuitetestLibraryListenerSuccess0.015
TuPrologTestSuitetestTheoryListenerSuccess0.016
TuPrologTestSuitetestQueryListenerSuccess0.031
TuPrologTestSuitetestIsCompoundSuccess0.000
TuPrologTestSuitetestEqualsToStructSuccess0.000
TuPrologTestSuitetestEqualsToVarSuccess0.000
TuPrologTestSuitetestEqualsToIntSuccess0.000
TuPrologTestSuitetestEqualsToLongSuccess0.000
TuPrologTestSuitetestEqualsToDoubleSuccess0.000
TuPrologTestSuitetestEqualsToFloatSuccess0.000
TuPrologTestSuitetestIsAtomicSuccess0.000
TuPrologTestSuitetestIsAtomSuccess0.000
TuPrologTestSuitetestGetPrimitivesSuccess0.000
TuPrologTestSuitetestTab1Success0.016
TuPrologTestSuitetestIsCompoundSuccess0.000
TuPrologTestSuitetestEqualsToStructSuccess0.000
TuPrologTestSuitetestEqualsToVarSuccess0.000
TuPrologTestSuitetestEqualsToIntSuccess0.000
TuPrologTestSuitetestEqualsToLongSuccess0.000
TuPrologTestSuitetestEqualsToDoubleSuccess0.000
TuPrologTestSuitetestEqualsToFloatSuccess0.000
TuPrologTestSuitetestIsAtomicSuccess0.000
TuPrologTestSuitetestIsAtomSuccess0.000
TuPrologTestSuitetestGetSubsequentQuerySuccess0.007
TuPrologTestSuitetestUnknownPredicateInQuerySuccess0.016
TuPrologTestSuitetestUnknownPredicateInTheorySuccess0.008
TuPrologTestSuitetestEmptyIteratorSuccess0.000
TuPrologTestSuitetestIteratorCountSuccess0.000
TuPrologTestSuitetestRemoveOperationNotSupportedSuccess0.000
TuPrologTestSuitetestMultipleHasNextSuccess0.000
TuPrologTestSuitetestMultipleNextSuccess0.000
TuPrologTestSuitetestIsCompoundSuccess0.000
TuPrologTestSuitetestStructWithNullArgumentSuccess0.000
TuPrologTestSuitetestStructWithNullNameSuccess0.000
TuPrologTestSuitetestStructWithEmptyNameSuccess0.000
TuPrologTestSuitetestEmptyListAsSquaredStructSuccess0.000
TuPrologTestSuitetestEmptyListAsDottedStructSuccess0.000
TuPrologTestSuitetestListAsDottedStructSuccess0.000
TuPrologTestSuitetestListFromArgumentArraySuccess0.000
TuPrologTestSuitetestIsAtomicSuccess0.000
TuPrologTestSuitetestIsAtomSuccess0.000
TuPrologTestSuitetestEmptyListSuccess0.000
TuPrologTestSuitetestNonListHeadSuccess0.000
TuPrologTestSuitetestNonListTailSuccess0.000
TuPrologTestSuitetestNonListSizeSuccess0.000
TuPrologTestSuitetestNonListIteratorSuccess0.000
TuPrologTestSuitetestIteratedGoalTermSuccess0.000
TuPrologTestSuitetestEqualsToObjectSuccess0.000
TuPrologTestSuitetestListSizeSuccess0.000
TuPrologTestSuitetestToListSuccess0.000
TuPrologTestSuitetestToStringSuccess0.000
TuPrologTestSuitetestAppendSuccess0.000
TuPrologTestSuitetestIsListSuccess0.000
TuPrologTestSuitetestEmptyIteratorSuccess0.000
TuPrologTestSuitetestRemoveOperationNotSupportedSuccess0.000
TuPrologTestSuitetestIteratorOnInvalidTermSuccess0.000
TuPrologTestSuitetestIterationOnInvalidTheorySuccess0.000
TuPrologTestSuitetestMultipleHasNextSuccess0.000
TuPrologTestSuitetestMultipleNextSuccess0.007
TuPrologTestSuitetestIterationCountSuccess0.000
TuPrologTestSuitetestToStringWithParenthesisSuccess0.000
TuPrologTestSuitetestAppendClauseListsSuccess0.008
TuPrologTestSuitetestAssertNotBacktrackableSuccess0.016
TuPrologTestSuitetestUnknownDirectiveSuccess0.008
TuPrologTestSuitetestFailedDirectiveSuccess0.015
TuPrologTestSuitetestAbolishSuccess0.008
TuPrologTestSuitetestLibraryFunctorSuccess0.008
TuPrologTestSuitetestLibraryPredicateSuccess0.016
TuPrologTestSuitetestGetPrimitivesSuccess0.000
TuPrologTestSuitetestDynamicObjectsRetrivalSuccess0.007
TuPrologTestSuitetestAnonymousObjectRegistrationSuccess0.016
TuPrologTestSuitetestSingleQuotedTermWithInvalidLineBreaksSuccess0.000
TuPrologTestSuitetestReadingTermsSuccess0.000
TuPrologTestSuitetestReadingEOFSuccess0.000
TuPrologTestSuitetestListWithTailSuccess0.000
TuPrologTestSuitetestUnivOperatorSuccess0.000
TuPrologTestSuitetestDotOperatorSuccess0.000
TuPrologTestSuitetestEmptyDCGActionSuccess0.000
TuPrologTestSuitetestSingleDCGActionSuccess0.000
TuPrologTestSuitetestUnaryPlusOperatorSuccess0.000
TuPrologTestSuitetestUnaryMinusOperatorSuccess0.000
TuPrologTestSuitetestBinaryMinusOperatorSuccess0.000
TuPrologTestSuitetestBracketedOperatorAsTermSuccess0.000
TuPrologTestSuitetestBracketedOperatorAsTerm2Success0.008
TuPrologTestSuitetestMultipleDCGActionSuccess0.000
TuPrologTestSuitetestMissingDCGActionElementSuccess0.000
TuPrologTestSuitetestUncompleteDCGActionSuccess0.000
TuPrologTestSuitetestMultilineCommentsSuccess0.000
TuPrologTestSuitetestBracesSuccess0.000
TuPrologTestSuitetestIntegerBinaryRepresentationSuccess0.000
TuPrologTestSuitetestIntegerOctalRepresentationSuccess0.000
TuPrologTestSuitetestIntegerHexadecimalRepresentationSuccess0.000
TuPrologTestSuitetestDCGActionCommaAsAnotherSymbolSuccess0.000
TuPrologTestSuitetestToStringSuccess0.008
TuPrologTestSuitetestIsCompoundSuccess0.000
TuPrologTestSuitetestIsAtomicSuccess0.000
TuPrologTestSuitetestIsAtomSuccess0.000
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