Test Run:11/23/2008 6:49:17.643 PM

ES_SIMPLE_CONCRETE_TEST_SUITE

Note: * indicates a violation test case

 
FAILED (1 failed & 5 passed out of 6)
Case Type Passed Total
Violation 00
Boolean 56
All Cases 56
State Contract Violation Test Name
Test1 TEST_ML_SET
PASSED NONE Object creation
PASSED NONE Membership
PASSED NONE Set extension
PASSED NONE Hold count
PASSED NONE Reference comparison
FAILED Operating system signal.

-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
ML_SET_I_LINEAR equal Segmentation violation:
<0000000002E7AD04> (From ANY) Operating system signal. Fail
-------------------------------------------------------------------------------
ML_SET_I_LINEAR equal
<0000000002E7AD04> (From ANY) Routine failure. Fail
-------------------------------------------------------------------------------
PREDICATE fast_item
<0000000002E7B364> (From FUNCTION) Routine failure. Fail
-------------------------------------------------------------------------------
PREDICATE item @5
<0000000002E7B364> (From FUNCTION) Routine failure. Fail
-------------------------------------------------------------------------------
ML_SET_I_LINEAR hold_count @4
<0000000002E7AD04> Routine failure. Fail
-------------------------------------------------------------------------------
ML_SET_I_LINEAR has @2 definition:
<0000000002E7AD04> Postcondition violated. Fail
-------------------------------------------------------------------------------
ML_SET_I_LINEAR has @2
<0000000002E7AD04> Routine failure. Fail
-------------------------------------------------------------------------------
ML_SET_I_LINEAR is_subset_of @5
<0000000002E7AF20> Routine failure. Fail
-------------------------------------------------------------------------------
ML_SET is_superset_of @1
<0000000002A5F248> Routine failure. Fail
-------------------------------------------------------------------------------
TEST_ML_SET test_subset @3
<0000000002E70420> Routine failure. Fail
-------------------------------------------------------------------------------
PREDICATE fast_item
<0000000002E70B4C> (From FUNCTION) Routine failure. Fail
-------------------------------------------------------------------------------
PREDICATE item @5
<0000000002E70B4C> (From FUNCTION) Routine failure. Fail
-------------------------------------------------------------------------------
ES_BOOLEAN_TEST_CASE
run @2
<0000000002E70B88> Routine failure. Fail
-------------------------------------------------------------------------------
TEST_ML_SET run_with_cl @18
<0000000002E70420> (From ES_TEST) Routine failure. Fail
-------------------------------------------------------------------------------
TEST_ML_SET run_cl @1
<0000000002E70420> (From ES_TEST) Routine failure. Fail
-------------------------------------------------------------------------------
TEST_ML_SET run_command_line @1
<0000000002E70420> (From ES_TEST) Routine failure. Fail
-------------------------------------------------------------------------------
APPLICATION run_command_line @7
<0000000002E703CC> (From ES_TEST_SUITE) Routine failure. Fail
-------------------------------------------------------------------------------
APPLICATION run_es_test @16
<0000000002E703CC> (From ES_TEST_SUITE) Routine failure. Fail
-------------------------------------------------------------------------------
APPLICATION run_all @14
<0000000002E703CC> (From ES_CONNECTION) Routine failure. Fail
-------------------------------------------------------------------------------
APPLICATION run_espec @2
<0000000002E703CC> (From ES_CONNECTION) Routine failure. Fail
-------------------------------------------------------------------------------
APPLICATION make @5
<0000000002E703CC> Routine failure. Fail
-------------------------------------------------------------------------------
APPLICATION root's creation
<0000000002E703CC> Routine failure. Exit
-------------------------------------------------------------------------------

no comment