-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : SELFTESTS
-- Unit(s) Under Test: SelfTests
-- 
-- Script Features
TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING
TEST.SCRIPT_FEATURE:CPP_CLASS_OBJECT_REVISION
TEST.SCRIPT_FEATURE:MULTIPLE_UUT_SUPPORT
TEST.SCRIPT_FEATURE:MIXED_CASE_NAMES
TEST.SCRIPT_FEATURE:STATIC_HEADER_FUNCS_IN_UUTS
TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED
--

-- Unit: SelfTests

-- Subprogram: execDrySelfTests

-- Test Case: COND_13_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:COND_13_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (12) case currentDrySelfTestsState ==> default
      (13) if ((SELF_TEST_STATUS_FAILED) == result) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #13, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable result in branch 13
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES
TEST.END

-- Test Case: COND_13_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:COND_13_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (12) case currentDrySelfTestsState ==> default
      (13) if ((SELF_TEST_STATUS_FAILED) == result) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #13, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable result in branch 13
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES
TEST.END

-- Test Case: COND_14_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:COND_14_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (12) case currentDrySelfTestsState ==> default
      (13) if ((SELF_TEST_STATUS_FAILED) == result) ==> FALSE
      (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #14, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable result in branch 13
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MAX>>
TEST.END

-- Test Case: COND_14_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:COND_14_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (12) case currentDrySelfTestsState ==> default
      (13) if ((SELF_TEST_STATUS_FAILED) == result) ==> FALSE
      (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #14, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable result in branch 13
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MIN>>
TEST.END

-- Test Case: COND_15_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:COND_15_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (12) case currentDrySelfTestsState ==> default
      (13) if ((SELF_TEST_STATUS_FAILED) == result) ==> FALSE
      (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> TRUE
      (15) if (elapsedSelfTestTimeInSecs <= 3 * 60) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #15, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable elapsedSelfTestTimeInSecs in branch 15
      Cannot set local variable result in branch 13
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MAX>>
TEST.END

-- Test Case: COND_15_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:COND_15_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (12) case currentDrySelfTestsState ==> default
      (13) if ((SELF_TEST_STATUS_FAILED) == result) ==> FALSE
      (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> TRUE
      (15) if (elapsedSelfTestTimeInSecs <= 3 * 60) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #15, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable elapsedSelfTestTimeInSecs in branch 15
      Cannot set local variable result in branch 13
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MAX>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (4) case currentDrySelfTestsState ==> DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE
      (5) if ((SELF_TEST_STATUS_PASSED) == execPresOcclDryTest()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE
TEST.VALUE:uut_prototype_stubs.execPresOcclDryTest.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (4) case currentDrySelfTestsState ==> DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE
      (5) if ((SELF_TEST_STATUS_PASSED) == execPresOcclDryTest()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE
TEST.VALUE:uut_prototype_stubs.execPresOcclDryTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: execDrySelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.001
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_START_STATE
TEST.END

-- Test Case: execDrySelfTests.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.002
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE
TEST.END

-- Test Case: execDrySelfTests.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.003
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE
TEST.END

-- Test Case: execDrySelfTests.004
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.004
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_SETUP_STATE
TEST.END

-- Test Case: execDrySelfTests.005
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.005
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_STATE
TEST.END

-- Test Case: execDrySelfTests.006
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.006
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_STATE
TEST.END

-- Test Case: execDrySelfTests.007
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.007
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_SYRINGE_PUMP_PRIME_STATE
TEST.END

-- Test Case: execDrySelfTests.008
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.008
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_STOPPED_STATE
TEST.END

-- Test Case: execDrySelfTests.009
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.009
TEST.VALUE:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_COMPLETE_STATE
TEST.END

-- Subprogram: execNoCartSelfTests

-- Test Case: COND_14_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:COND_14_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (13) case currentNoCartSelfTestsState ==> default
      (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #14, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NUM_OF_NO_CART_SELF_TESTS_STATES
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MAX>>
TEST.END

-- Test Case: COND_14_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:COND_14_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (13) case currentNoCartSelfTestsState ==> default
      (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #14, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NUM_OF_NO_CART_SELF_TESTS_STATES
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MIN>>
TEST.END

-- Test Case: COND_15_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:COND_15_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (13) case currentNoCartSelfTestsState ==> default
      (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> TRUE
      (15) if (elapsedSelfTestTimeInSecs <= (30)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #15, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable elapsedSelfTestTimeInSecs in branch 15
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NUM_OF_NO_CART_SELF_TESTS_STATES
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MAX>>
TEST.END

-- Test Case: COND_15_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:COND_15_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (13) case currentNoCartSelfTestsState ==> default
      (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> TRUE
      (15) if (elapsedSelfTestTimeInSecs <= (30)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #15, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable elapsedSelfTestTimeInSecs in branch 15
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NUM_OF_NO_CART_SELF_TESTS_STATES
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<<MAX>>
TEST.END

-- Test Case: execNoCartSelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.001
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_START_STATE
TEST.END

-- Test Case: execNoCartSelfTests.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.002
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE
TEST.END

-- Test Case: execNoCartSelfTests.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.003
TEST.IMPORT_FAILURES:
(E) @LINE: 359 TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_OCCLUSION_SENSORS_STATE
    >>> Value for 'Enumeral' out of range
    >>>   Read "NO_CART_SELF_TESTS_OCCLUSION_SENSORS_STATE"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.END

-- Test Case: execNoCartSelfTests.004
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.004
TEST.IMPORT_FAILURES:
(E) @LINE: 367 TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_BLOOD_FLOW_METERS_STATE
    >>> Value for 'Enumeral' out of range
    >>>   Read "NO_CART_SELF_TESTS_BLOOD_FLOW_METERS_STATE"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.END

-- Test Case: execNoCartSelfTests.005
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.005
TEST.IMPORT_FAILURES:
(E) @LINE: 375 TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_DIALYSATE_FLOW_METERS_STATE
    >>> Value for 'Enumeral' out of range
    >>>   Read "NO_CART_SELF_TESTS_DIALYSATE_FLOW_METERS_STATE"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.END

-- Test Case: execNoCartSelfTests.006
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.006
TEST.IMPORT_FAILURES:
(E) @LINE: 383 TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_BOARD_TEMPERATURE_STATE
    >>> Value for 'Enumeral' out of range
    >>>   Read "NO_CART_SELF_TESTS_BOARD_TEMPERATURE_STATE"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.END

-- Test Case: execNoCartSelfTests.007
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.007
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_VALVES_STATE
TEST.END

-- Test Case: execNoCartSelfTests.008
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.008
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_SYRINGE_PUMP_STATE
TEST.END

-- Test Case: execNoCartSelfTests.009
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.009
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_PUMPS_STATE
TEST.END

-- Test Case: execNoCartSelfTests.010
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.010
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_IDLE_STATE
TEST.END

-- Test Case: execNoCartSelfTests.011
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.011
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_STOPPED_STATE
TEST.END

-- Test Case: execNoCartSelfTests.012
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.012
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_COMPLETE_STATE
TEST.END

-- Test Case: execNoCartSelfTests.013
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.013
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:1000,30
TEST.END

-- Subprogram: execWetSelfTests

-- Test Case: COND_15_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:COND_15_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (14) case currentWetSelfTestsState ==> default
      (15) if ((SELF_TEST_STATUS_FAILED) == result) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #15, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable result in branch 15
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:NUM_OF_WET_SELF_TESTS_STATES
TEST.END

-- Test Case: COND_15_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:COND_15_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (14) case currentWetSelfTestsState ==> default
      (15) if ((SELF_TEST_STATUS_FAILED) == result) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #15, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable result in branch 15
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:NUM_OF_WET_SELF_TESTS_STATES
TEST.END

-- Test Case: execWetSelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.001
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_START_STATE
TEST.END

-- Test Case: execWetSelfTests.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.002
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_SETUP_STATE
TEST.END

-- Test Case: execWetSelfTests.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.003
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLES_STATE
TEST.END

-- Test Case: execWetSelfTests.004
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.004
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_PRIME_CHECK_STATE
TEST.END

-- Test Case: execWetSelfTests.005
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.005
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE
TEST.END

-- Test Case: execWetSelfTests.006
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.006
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE
TEST.END

-- Test Case: execWetSelfTests.007
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.007
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE
TEST.END

-- Test Case: execWetSelfTests.008
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.008
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE
TEST.END

-- Test Case: execWetSelfTests.009
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.009
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE
TEST.END

-- Test Case: execWetSelfTests.010
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.010
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE
TEST.END

-- Test Case: execWetSelfTests.011
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.011
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE
TEST.END

-- Test Case: execWetSelfTests.012
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.012
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_STOPPED_STATE
TEST.END

-- Test Case: execWetSelfTests.013
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.013
TEST.VALUE:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE
TEST.END

-- Subprogram: getDrySelfTestsState

-- Test Case: getDrySelfTestsState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:getDrySelfTestsState
TEST.NEW
TEST.NAME:getDrySelfTestsState.001
TEST.END

-- Subprogram: getNoCartSelfTestsState

-- Test Case: getNoCartSelfTestsState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:getNoCartSelfTestsState
TEST.NEW
TEST.NAME:getNoCartSelfTestsState.001
TEST.END

-- Subprogram: handleDrySelfTestPressureSensorsNormalState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 620 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == didTimeout(pressureSelfTestNormalizedStartTime, 2 * 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 638 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == didTimeout(pressureSelfTestNormalizedStartTime, 2 * 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 660 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == didTimeout(pressureSelfTestNormalizedStartTime, 2 * 1000)) ==> TRUE
      (2) if (arterialPressureDiff <= (5.0) && venousPressureDiff <= (5.0)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable arterialPressureDiff in branch 2
      Cannot set local variable venousPressureDiff in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 682 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == didTimeout(pressureSelfTestNormalizedStartTime, 2 * 1000)) ==> TRUE
      (2) if (arterialPressureDiff <= (5.0) && venousPressureDiff <= (5.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable arterialPressureDiff in branch 2
      Cannot set local variable venousPressureDiff in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 704 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == didTimeout(pressureSelfTestNormalizedStartTime, 2 * 1000)) ==> TRUE
      (2) if (arterialPressureDiff <= (5.0) && venousPressureDiff <= (5.0)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable arterialPressureDiff in branch 2
      Cannot set local variable venousPressureDiff in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 723 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == didTimeout(pressureSelfTestNormalizedStartTime, 2 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 743 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == didTimeout(pressureSelfTestNormalizedStartTime, 2 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: handleDrySelfTestPressureSensorsNormalState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState
TEST.NEW
TEST.NAME:handleDrySelfTestPressureSensorsNormalState.001
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Subprogram: handleDrySelfTestPressureSensorsSetupState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Subprogram: handleDrySelfTestPressureSensorsState

-- Test Case: COND_1_ROW_4_PAIR_a_TFF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_TFF
TEST.IMPORT_FAILURES:
(E) @LINE: 810 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 5 * 1000) || -(50.0) >= arterialPressure) || (400) <= venousPressure) ==> TRUE
      Row number 4 forms a pair with Row 8 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_6_PAIR_b_FTF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:COND_1_ROW_6_PAIR_b_FTF
TEST.IMPORT_FAILURES:
(E) @LINE: 832 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:3 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 5 * 1000) || -(50.0) >= arterialPressure) || (400) <= venousPressure) ==> TRUE
      Row number 6 forms a pair with Row 8 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_7_PAIR_c_FFT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:COND_1_ROW_7_PAIR_c_FFT
TEST.IMPORT_FAILURES:
(E) @LINE: 854 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 5 * 1000) || -(50.0) >= arterialPressure) || (400) <= venousPressure) ==> TRUE
      Row number 7 forms a pair with Row 8 for Condition #1, subcondition "c".
         Condition a ==> FALSE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_8_PAIR_a_FFF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:COND_1_ROW_8_PAIR_a_FFF
TEST.IMPORT_FAILURES:
(E) @LINE: 876 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 5 * 1000) || -(50.0) >= arterialPressure) || (400) <= venousPressure) ==> FALSE
      Row number 8 forms a pair with Row 4 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
TEST.IMPORT_FAILURES:
(E) @LINE: 898 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:8 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 5 * 1000) || -(50.0) >= arterialPressure) || (400) <= venousPressure) ==> TRUE
      (2) if (arterialPressure < (0) && venousPressure > (0)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 921 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:9 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 5 * 1000) || -(50.0) >= arterialPressure) || (400) <= venousPressure) ==> TRUE
      (2) if (arterialPressure < (0) && venousPressure > (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( uut_prototype_stubs.getFilteredVenousPressure.return ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 944 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:7 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 5 * 1000) || -(50.0) >= arterialPressure) || (400) <= venousPressure) ==> TRUE
      (2) if (arterialPressure < (0) && venousPressure > (0)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( uut_prototype_stubs.getFilteredArterialPressure.return ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 965 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:6 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 5 * 1000) || -(50.0) >= arterialPressure) || (400) <= venousPressure) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 987 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 5 * 1000) || -(50.0) >= arterialPressure) || (400) <= venousPressure) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleDrySelfTestStoppedState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestStoppedState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == selfTestsResumeRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestStoppedState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == selfTestsResumeRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:<<MIN>>
TEST.END

-- Subprogram: handleDrySelfTestSyringePumpPrimeState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == useHeparin) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == useHeparin) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == useHeparin) ==> TRUE
      (2) if ((1) == isSyringePlungerFound()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == useHeparin) ==> TRUE
      (2) if ((1) == isSyringePlungerFound()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == useHeparin) ==> TRUE
      (2) if ((1) == isSyringePlungerFound()) ==> TRUE
      (3) if ((1) == isSyringePumpPrimed()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:1
TEST.VALUE:uut_prototype_stubs.isSyringePumpPrimed.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == useHeparin) ==> TRUE
      (2) if ((1) == isSyringePlungerFound()) ==> TRUE
      (3) if ((1) == isSyringePumpPrimed()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:1
TEST.VALUE:uut_prototype_stubs.isSyringePumpPrimed.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == useHeparin) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == useHeparin) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Subprogram: handleDrySelfTestUsedCartridgeCheckState

-- Test Case: COND_1_ROW_1_PAIR_a_TTTT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TTTT
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((((BUBBLE_DETECTED) == ADABubbleStatus && (BUBBLE_DETECTED) == ADVBubbleStatus) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      Row number 1 forms a pair with Row 9 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_d_TTTF-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_d_TTTF-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((((BUBBLE_DETECTED) == ADABubbleStatus && (BUBBLE_DETECTED) == ADVBubbleStatus) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "d".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.getAirTrapLevel.return 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_c_TTFT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_c_TTFT-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((((BUBBLE_DETECTED) == ADABubbleStatus && (BUBBLE_DETECTED) == ADVBubbleStatus) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.getAirTrapLevel.return 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Test Case: COND_1_ROW_5_PAIR_b_TFTT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:COND_1_ROW_5_PAIR_b_TFTT-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((((BUBBLE_DETECTED) == ADABubbleStatus && (BUBBLE_DETECTED) == ADVBubbleStatus) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.getBubbleStatus.return 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Test Case: COND_1_ROW_9_PAIR_a_FTTT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:COND_1_ROW_9_PAIR_a_FTTT-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((((BUBBLE_DETECTED) == ADABubbleStatus && (BUBBLE_DETECTED) == ADVBubbleStatus) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      Row number 9 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
         Condition d ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.getBubbleStatus.return 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((((BUBBLE_DETECTED) == ADABubbleStatus && (BUBBLE_DETECTED) == ADVBubbleStatus) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((((BUBBLE_DETECTED) == ADABubbleStatus && (BUBBLE_DETECTED) == ADVBubbleStatus) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) && (AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.END

-- Test Case: handleDrySelfTestUsedCartridgeCheckState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.001
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.END

-- Test Case: handleDrySelfTestUsedCartridgeCheckState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.002
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.END

-- Test Case: handleDrySelfTestUsedCartridgeCheckState.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.003
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED,BUBBLE_NOT_DETECTED
TEST.END

-- Test Case: handleDrySelfTestUsedCartridgeCheckState.004
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.004
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Test Case: handleDrySelfTestUsedCartridgeCheckState.005
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState
TEST.NEW
TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.005
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR,AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Subprogram: handleDrySelfTestWaitForDoorCloseState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestWaitForDoorCloseState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 1393 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_CLOSED
    >>> Could not find function getFPGADoorState
    >>>    in unit uut_prototype_stubs.
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestWaitForDoorCloseState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 1410 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN
    >>> Could not find function getFPGADoorState
    >>>    in unit uut_prototype_stubs.
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestWaitForDoorCloseState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 1429 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN
    >>> Could not find function getFPGADoorState
    >>>    in unit uut_prototype_stubs.
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestWaitForDoorCloseState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 1448 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN
    >>> Could not find function getFPGADoorState
    >>>    in unit uut_prototype_stubs.
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Subprogram: handleNoCartSelfTestHomeIdleState

-- Test Case: COND_1_ROW_1_PAIR_a_TTT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TTT
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((0) == isDialInPumpRunning() && (0) == isDialOutPumpRunning()) && (0) == isBloodPumpRunning()) ==> TRUE
      Row number 1 forms a pair with Row 5 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0
TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:0
TEST.VALUE:uut_prototype_stubs.isDialOutPumpRunning.return:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_c_TTF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_c_TTF
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (((0) == isDialInPumpRunning() && (0) == isDialOutPumpRunning()) && (0) == isBloodPumpRunning()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "c".
         Condition a ==> TRUE
         Condition b ==> TRUE
         Condition c ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1
TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:0
TEST.VALUE:uut_prototype_stubs.isDialOutPumpRunning.return:0
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_TFT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_TFT
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (((0) == isDialInPumpRunning() && (0) == isDialOutPumpRunning()) && (0) == isBloodPumpRunning()) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0
TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:0
TEST.VALUE:uut_prototype_stubs.isDialOutPumpRunning.return:1
TEST.END

-- Test Case: COND_1_ROW_5_PAIR_a_FTT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState
TEST.NEW
TEST.NAME:COND_1_ROW_5_PAIR_a_FTT
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (((0) == isDialInPumpRunning() && (0) == isDialOutPumpRunning()) && (0) == isBloodPumpRunning()) ==> FALSE
      Row number 5 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
         Condition c ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0
TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:1
TEST.VALUE:uut_prototype_stubs.isDialOutPumpRunning.return:0
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (((0) == isDialInPumpRunning() && (0) == isDialOutPumpRunning()) && (0) == isBloodPumpRunning()) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1
TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:1
TEST.VALUE:uut_prototype_stubs.isDialOutPumpRunning.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (((0) == isDialInPumpRunning() && (0) == isDialOutPumpRunning()) && (0) == isBloodPumpRunning()) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1
TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:1
TEST.VALUE:uut_prototype_stubs.isDialOutPumpRunning.return:1
TEST.END

-- Subprogram: handleNoCartSelfTestHomeSyringePumpState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == useHeparin) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == useHeparin) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:9 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == useHeparin) ==> TRUE
      (2) if ((1) == isSyringePumpStopped()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:8 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == useHeparin) ==> TRUE
      (2) if ((1) == isSyringePumpStopped()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_TF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:4 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == useHeparin) ==> FALSE
      (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #3, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == useHeparin) ==> FALSE
      (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #3, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable SelfTests.<<GLOBAL>>.useHeparin 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1
TEST.END

-- Test Case: COND_3_ROW_4_PAIR_a_FF-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:COND_3_ROW_4_PAIR_a_FF-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == useHeparin) ==> FALSE
      (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable SelfTests.<<GLOBAL>>.useHeparin 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == useHeparin) ==> FALSE
      (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable SelfTests.<<GLOBAL>>.useHeparin 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == useHeparin) ==> FALSE
      (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable SelfTests.<<GLOBAL>>.useHeparin 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.useHeparin:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<<MIN>>
TEST.END

-- Subprogram: handleNoCartSelfTestHomeValvesState

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeValvesState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (valve < (NUM_OF_VALVES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeValvesState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (valve < (NUM_OF_VALVES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeValvesState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (valve < (NUM_OF_VALVES)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeValvesState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (valve < (NUM_OF_VALVES)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Subprogram: handleNoCartSelfTestPumpsState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == havePumpsStarted) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.havePumpsStarted:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == havePumpsStarted) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.havePumpsStarted:1
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((0) == havePumpsStarted) ==> FALSE
      (2) if ((1) == didTimeout(runPumpStartTime, 15 * 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.havePumpsStarted:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((0) == havePumpsStarted) ==> FALSE
      (2) if ((1) == didTimeout(runPumpStartTime, 15 * 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.havePumpsStarted:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((0) == havePumpsStarted) ==> FALSE
      (2) if ((1) == didTimeout(runPumpStartTime, 15 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.havePumpsStarted:1
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((0) == havePumpsStarted) ==> FALSE
      (2) if ((1) == didTimeout(runPumpStartTime, 15 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.havePumpsStarted:1
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleNoCartSelfTestStoppedState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestStoppedState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == selfTestsResumeRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestStoppedState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == selfTestsResumeRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:<<MIN>>
TEST.END

-- Subprogram: handleNoCartSelfTestsWaitForClosedDoor

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestsWaitForClosedDoor
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 2001 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_CLOSED
    >>> Could not find function getFPGADoorState
    >>>    in unit uut_prototype_stubs.
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestsWaitForClosedDoor
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 2018 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN
    >>> Could not find function getFPGADoorState
    >>>    in unit uut_prototype_stubs.
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestsWaitForClosedDoor
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 2037 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN
    >>> Could not find function getFPGADoorState
    >>>    in unit uut_prototype_stubs.
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestsWaitForClosedDoor
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 2056 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN
    >>> Could not find function getFPGADoorState
    >>>    in unit uut_prototype_stubs.
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Subprogram: handleWetSelfTestBloodLeakDetectorState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((SELF_TEST_STATUS_PASSED) == getBloodLeakSelfTestStatus()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((SELF_TEST_STATUS_PASSED) == getBloodLeakSelfTestStatus()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((SELF_TEST_STATUS_PASSED) == getBloodLeakSelfTestStatus()) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((SELF_TEST_STATUS_PASSED) == getBloodLeakSelfTestStatus()) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Subprogram: handleWetSelfTestBubblesState

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBubblesState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADA) && (SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADV)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getBubbleSelfTestStatus.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF-TEMPLATE
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBubblesState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADA) && (SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADV)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.getBubbleSelfTestStatus.return 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getBubbleSelfTestStatus.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT-TEMPLATE
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBubblesState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADA) && (SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADV)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.getBubbleSelfTestStatus.return 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getBubbleSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBubblesState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADA) && (SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADV)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getBubbleSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBubblesState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADA) && (SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADV)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getBubbleSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Subprogram: handleWetSelfTestFirstDisplacementSetupState

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:5 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:6 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:4 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE
      (3) if ((0) == cmdResp.rejected) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable cmdResp in branch 3
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE
      (3) if ((0) == cmdResp.rejected) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable cmdResp in branch 3
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:8 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleWetSelfTestFirstDisplacementState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleWetSelfTestFirstDisplacementVerifyState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 2529 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 2547 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 2569 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> TRUE
      (2) if (fabs(resOneDiffAfterDisplacement - resTwoDiffAfterDisplacement) <= (1.5) && integratedVolumeToTargetPercent <= (5.0)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 2
      Cannot set local variable integratedVolumeToTargetPercent in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 2591 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> TRUE
      (2) if (fabs(resOneDiffAfterDisplacement - resTwoDiffAfterDisplacement) <= (1.5) && integratedVolumeToTargetPercent <= (5.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 2
      Cannot set local variable integratedVolumeToTargetPercent in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 2613 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> TRUE
      (2) if (fabs(resOneDiffAfterDisplacement - resTwoDiffAfterDisplacement) <= (1.5) && integratedVolumeToTargetPercent <= (5.0)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 2
      Cannot set local variable integratedVolumeToTargetPercent in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 2632 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 2652 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleWetSelfTestPrimeCheckState

-- Test Case: COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 2675 TEST.VALUE:SelfTests.handleWetSelfTestPrimeCheckState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((BUBBLE_NOT_DETECTED) == ADABubbleStatus && (BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set variable to out of range value 1 in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 2694 TEST.VALUE:SelfTests.handleWetSelfTestPrimeCheckState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((BUBBLE_NOT_DETECTED) == ADABubbleStatus && (BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set variable to out of range value 1 in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 2714 TEST.VALUE:SelfTests.handleWetSelfTestPrimeCheckState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((BUBBLE_NOT_DETECTED) == ADABubbleStatus && (BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set variable to out of range value 1 in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 2733 TEST.VALUE:SelfTests.handleWetSelfTestPrimeCheckState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((BUBBLE_NOT_DETECTED) == ADABubbleStatus && (BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 2753 TEST.VALUE:SelfTests.handleWetSelfTestPrimeCheckState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((BUBBLE_NOT_DETECTED) == ADABubbleStatus && (BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED
TEST.END

-- Subprogram: handleWetSelfTestSecondDisplacementSetupState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == isValvesSettingSent) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:4 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:5 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:3 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE
      (3) if ((0) == cmdResp.rejected) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable cmdResp in branch 3
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE
      (3) if ((0) == cmdResp.rejected) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable cmdResp in branch 3
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.END

-- Subprogram: handleWetSelfTestSecondDisplacementState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleWetSelfTestSecondDisplacementVerifyState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 3028 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 3046 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 3068 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> TRUE
      (2) if (fabs(resOneDiffAfterDisplacement - resTwoDiffAfterDisplacement) <= (1.5) && integratedVolumeToTargetPercent <= (5.0)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 2
      Cannot set local variable integratedVolumeToTargetPercent in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 3090 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> TRUE
      (2) if (fabs(resOneDiffAfterDisplacement - resTwoDiffAfterDisplacement) <= (1.5) && integratedVolumeToTargetPercent <= (5.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 2
      Cannot set local variable integratedVolumeToTargetPercent in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT-PARTIAL
TEST.IMPORT_FAILURES:
(E) @LINE: 3112 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> TRUE
      (2) if (fabs(resOneDiffAfterDisplacement - resTwoDiffAfterDisplacement) <= (1.5) && integratedVolumeToTargetPercent <= (5.0)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 2
      Cannot set local variable integratedVolumeToTargetPercent in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) @LINE: 3131 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) @LINE: 3151 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.result:<<malloc 1>>
    >>> Unknown parameter/object name result
    >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handleWetSelfTestSetupState

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (setupDisplacementVolume <= (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set setupDisplacementVolume due to assignment
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSetupState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (setupDisplacementVolume <= (0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set setupDisplacementVolume due to assignment
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSetupState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (setupDisplacementVolume <= (0)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set setupDisplacementVolume due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSetupState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (setupDisplacementVolume <= (0)) ==> FALSE
      (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set setupDisplacementVolume due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Subprogram: handleWetSelfTestStartState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == isValvesSettingSent) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:11 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((0) == isValvesSettingSent) ==> TRUE
      (2) if (resOneWeight > (1200.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:0
TEST.VALUE:uut_prototype_stubs.getReservoirWeightLargeFilter.return:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:10 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((0) == isValvesSettingSent) ==> TRUE
      (2) if (resOneWeight > (1200.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:0
TEST.VALUE:uut_prototype_stubs.getReservoirWeightLargeFilter.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_TT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:4 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_b_TF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:5 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_3_PAIR_a_FT
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:3 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE
      (4) if ((0) == cmdResp.rejected) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable cmdResp in branch 4
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE
      (4) if ((0) == cmdResp.rejected) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable cmdResp in branch 4
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      (5) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((0) == isValvesSettingSent) ==> FALSE
      (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE
      (5) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.END

-- Subprogram: handleWetSelfTestStoppedState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStoppedState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == selfTestsResumeRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStoppedState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == selfTestsResumeRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:<<MIN>>
TEST.END

-- Subprogram: initSelfTests

-- Test Case: initSelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:initSelfTests
TEST.NEW
TEST.NAME:initSelfTests.001
TEST.END

-- Subprogram: isWetSelfTestsPassed

-- Test Case: isWetSelfTestsPassed.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:isWetSelfTestsPassed
TEST.NEW
TEST.NAME:isWetSelfTestsPassed.001
TEST.END

-- Subprogram: resetSelfTestsFlags

-- Test Case: resetSelfTestsFlags.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:resetSelfTestsFlags
TEST.NEW
TEST.NAME:resetSelfTestsFlags.001
TEST.END

-- Subprogram: setupForSelfTestsStop

-- Test Case: setupForSelfTestsStop.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:setupForSelfTestsStop
TEST.NEW
TEST.NAME:setupForSelfTestsStop.001
TEST.END

-- Subprogram: signalResumeSelfTests

-- Test Case: signalResumeSelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:signalResumeSelfTests
TEST.NEW
TEST.NAME:signalResumeSelfTests.001
TEST.END

-- Subprogram: transitionToDrySelfTests

-- Test Case: transitionToDrySelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToDrySelfTests
TEST.NEW
TEST.NAME:transitionToDrySelfTests.001
TEST.END

-- Subprogram: transitionToNoCartSelfTests

-- Test Case: COND_1_ROW_2_PAIR_a_TF-TEMPLATE
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (bolusVol > (0.0) || hepRate > (0.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.getTreatmentParameterF32.return 'less than' and 'greater than' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT-TEMPLATE
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) (bolusVol > (0.0) || hepRate > (0.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.getTreatmentParameterF32.return 'less than' and 'greater than' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (bolusVol > (0.0) || hepRate > (0.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_b_FF
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_b_FF
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) (bolusVol > (0.0) || hepRate > (0.0)) ==> FALSE
      Row number 4 forms a pair with Row 3 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MIN>>
TEST.END

-- Test Case: transitionToNoCartSelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:transitionToNoCartSelfTests.001
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:-1.0,1.0
TEST.END

-- Subprogram: transitionToWetSelfTests

-- Test Case: transitionToWetSelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToWetSelfTests
TEST.NEW
TEST.NAME:transitionToWetSelfTests.001
TEST.END