-- 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: 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.EXPECTED: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.EXPECTED:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_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.EXPECTED:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_OCCLUSION_SENSORS_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.EXPECTED:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_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.EXPECTED: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.EXPECTED: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.EXPECTED:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_COMPLETE_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.EXPECTED: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.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_COMPLETE_STATE
TEST.END

-- Test Case: execDrySelfTests.010
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.010
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.EXPECTED:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES
TEST.END

-- Test Case: execDrySelfTests.011
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.011
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.EXPECTED:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_SETUP_STATE
TEST.END

-- Test Case: execDrySelfTests.012
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execDrySelfTests
TEST.NEW
TEST.NAME:execDrySelfTests.012
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.EXPECTED:SelfTests.<<GLOBAL>>.currentDrySelfTestsState:DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE
TEST.END

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

-- Subprogram: execNoCartSelfTests

-- 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.EXPECTED:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_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.EXPECTED:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_PRESSURE_CHECKS_STATE
TEST.END

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

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

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

-- Test Case: execNoCartSelfTests.006
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.006
TEST.VALUE:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_IDLE_STATE
TEST.EXPECTED:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_COMPLETE_STATE
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_STOPPED_STATE
TEST.EXPECTED:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_STOPPED_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_COMPLETE_STATE
TEST.EXPECTED:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_COMPLETE_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_PRESSURE_CHECKS_STATE
TEST.EXPECTED:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_VALVES_STATE
TEST.END

-- Test Case: execNoCartSelfTests.010
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execNoCartSelfTests
TEST.NEW
TEST.NAME:execNoCartSelfTests.010
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.EXPECTED:SelfTests.<<GLOBAL>>.currentNoCartSelfTestsState:NUM_OF_NO_CART_SELF_TESTS_STATES
TEST.END

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

-- Subprogram: execWetSelfTests

-- 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.EXPECTED: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.EXPECTED:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLES_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.EXPECTED: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.EXPECTED: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.EXPECTED: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.EXPECTED: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.EXPECTED: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.EXPECTED: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.EXPECTED: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.EXPECTED: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.EXPECTED: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.EXPECTED: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.EXPECTED:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE
TEST.END

-- Test Case: execWetSelfTests.014
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:execWetSelfTests
TEST.NEW
TEST.NAME:execWetSelfTests.014
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.EXPECTED:SelfTests.<<GLOBAL>>.currentWetSelfTestsState:NUM_OF_WET_SELF_TESTS_STATES
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: getWetSelfTestState

-- Test Case: getWetSelfTestState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:getWetSelfTestState
TEST.NEW
TEST.NAME:getWetSelfTestState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.END

-- Subprogram: handleDrySelfTestPressureSensorsNormalState

-- 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

-- Test Case: handleDrySelfTestPressureSensorsNormalState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState
TEST.NEW
TEST.NAME:handleDrySelfTestPressureSensorsNormalState.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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

-- Subprogram: handleDrySelfTestPressureSensorsSetupState

-- Test Case: handleDrySelfTestPressureSensorsSetupState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsSetupState
TEST.NEW
TEST.NAME:handleDrySelfTestPressureSensorsSetupState.001
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

-- Subprogram: handleDrySelfTestPressureSensorsState

-- Test Case: handleDrySelfTestPressureSensorsState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:handleDrySelfTestPressureSensorsState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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: handleDrySelfTestPressureSensorsState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:handleDrySelfTestPressureSensorsState.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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: handleDrySelfTestPressureSensorsState.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:handleDrySelfTestPressureSensorsState.003
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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: handleDrySelfTestPressureSensorsState.004
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsState
TEST.NEW
TEST.NAME:handleDrySelfTestPressureSensorsState.004
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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

-- Subprogram: handleDrySelfTestStoppedState

-- Test Case: handleDrySelfTestStoppedState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestStoppedState
TEST.NEW
TEST.NAME:handleDrySelfTestStoppedState.001
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.EXPECTED:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:0
TEST.END

-- Subprogram: handleDrySelfTestSyringePumpOcclusionDetectionState

-- Test Case: handleDrySelfTestSyringePumpOcclusionDetectionState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpOcclusionDetectionState
TEST.NEW
TEST.NAME:handleDrySelfTestSyringePumpOcclusionDetectionState.001
TEST.BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == didTimeout(syringeOcclusionDelayStartTime, 3 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> 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: handleDrySelfTestSyringePumpOcclusionDetectionState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpOcclusionDetectionState
TEST.NEW
TEST.NAME:handleDrySelfTestSyringePumpOcclusionDetectionState.002
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == didTimeout(syringeOcclusionDelayStartTime, 3 * 1000)) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> 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: handleDrySelfTestSyringePumpOcclusionDetectionState.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpOcclusionDetectionState
TEST.NEW
TEST.NAME:handleDrySelfTestSyringePumpOcclusionDetectionState.003
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == didTimeout(syringeOcclusionDelayStartTime, 3 * 1000)) ==> TRUE
      (2) if ((0) == checkForPrimeOcclusion()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.checkForPrimeOcclusion.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: handleDrySelfTestSyringePumpOcclusionDetectionState.004
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpOcclusionDetectionState
TEST.NEW
TEST.NAME:handleDrySelfTestSyringePumpOcclusionDetectionState.004
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == didTimeout(syringeOcclusionDelayStartTime, 3 * 1000)) ==> TRUE
      (2) if ((0) == checkForPrimeOcclusion()) ==> TRUE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.checkForPrimeOcclusion.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Subprogram: handleDrySelfTestSyringePumpPrimeState

-- Test Case: handleDrySelfTestSyringePumpPrimeState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:handleDrySelfTestSyringePumpPrimeState.001
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.EXPECTED:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.END

-- Test Case: handleDrySelfTestSyringePumpPrimeState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:handleDrySelfTestSyringePumpPrimeState.002
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.EXPECTED:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.END

-- Test Case: handleDrySelfTestSyringePumpPrimeState.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState
TEST.NEW
TEST.NAME:handleDrySelfTestSyringePumpPrimeState.003
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.EXPECTED:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.END

-- Subprogram: handleDrySelfTestUsedCartridgeCheckState

-- 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: handleDrySelfTestWaitForDoorCloseState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleDrySelfTestWaitForDoorCloseState
TEST.NEW
TEST.NAME:handleDrySelfTestWaitForDoorCloseState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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

-- Subprogram: handleNoCartSelfTestHomeIdleState

-- Test Case: handleNoCartSelfTestHomeIdleState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState
TEST.NEW
TEST.NAME:handleNoCartSelfTestHomeIdleState.001
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: handleNoCartSelfTestHomeIdleState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState
TEST.NEW
TEST.NAME:handleNoCartSelfTestHomeIdleState.002
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: handleNoCartSelfTestHomeIdleState.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState
TEST.NEW
TEST.NAME:handleNoCartSelfTestHomeIdleState.003
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

-- Subprogram: handleNoCartSelfTestHomeSyringePumpState

-- Test Case: handleNoCartSelfTestHomeSyringePumpState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.001
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.EXPECTED:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.END

-- Test Case: handleNoCartSelfTestHomeSyringePumpState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.002
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.EXPECTED:SelfTests.<<GLOBAL>>.useHeparin:1
TEST.END

-- Test Case: handleNoCartSelfTestHomeSyringePumpState.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState
TEST.NEW
TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.003
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.EXPECTED:SelfTests.<<GLOBAL>>.useHeparin:0
TEST.END

-- Subprogram: handleNoCartSelfTestHomeValvesState

-- Test Case: handleNoCartSelfTestHomeValvesState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestHomeValvesState
TEST.NEW
TEST.NAME:handleNoCartSelfTestHomeValvesState.001
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

-- Subprogram: handleNoCartSelfTestPumpsState

-- Test Case: handleNoCartSelfTestPumpsState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState
TEST.NEW
TEST.NAME:handleNoCartSelfTestPumpsState.001
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.EXPECTED:SelfTests.<<GLOBAL>>.havePumpsStarted:1
TEST.END

-- Test Case: handleNoCartSelfTestPumpsState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState
TEST.NEW
TEST.NAME:handleNoCartSelfTestPumpsState.002
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.EXPECTED:SelfTests.<<GLOBAL>>.havePumpsStarted:1
TEST.END

-- Subprogram: handleNoCartSelfTestStoppedState

-- Test Case: handleNoCartSelfTestStoppedState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestStoppedState
TEST.NEW
TEST.NAME:handleNoCartSelfTestStoppedState.001
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.EXPECTED:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:0
TEST.END

-- Test Case: handleNoCartSelfTestStoppedState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestStoppedState
TEST.NEW
TEST.NAME:handleNoCartSelfTestStoppedState.002
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.EXPECTED:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:0
TEST.END

-- Subprogram: handleNoCartSelfTestsWaitForClosedDoor

-- Test Case: handleNoCartSelfTestsWaitForClosedDoor.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestsWaitForClosedDoor
TEST.NEW
TEST.NAME:handleNoCartSelfTestsWaitForClosedDoor.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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: handleNoCartSelfTestsWaitForClosedDoor.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleNoCartSelfTestsWaitForClosedDoor
TEST.NEW
TEST.NAME:handleNoCartSelfTestsWaitForClosedDoor.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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

-- Subprogram: handleWetSelfTestBloodLeakDetectorState

-- Test Case: handleWetSelfTestBloodLeakDetectorState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState
TEST.NEW
TEST.NAME:handleWetSelfTestBloodLeakDetectorState.001
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: handleWetSelfTestBloodLeakDetectorState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState
TEST.NEW
TEST.NAME:handleWetSelfTestBloodLeakDetectorState.002
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

-- Subprogram: handleWetSelfTestBubblesState

-- Test Case: handleWetSelfTestBubblesState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBubblesState
TEST.NEW
TEST.NAME:handleWetSelfTestBubblesState.001
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: handleWetSelfTestBubblesState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestBubblesState
TEST.NEW
TEST.NAME:handleWetSelfTestBubblesState.002
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

-- Subprogram: handleWetSelfTestFirstDisplacementSetupState

-- Test Case: handleWetSelfTestFirstDisplacementSetupState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.001
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.EXPECTED:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.END

-- Test Case: handleWetSelfTestFirstDisplacementSetupState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.002
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.EXPECTED:SelfTests.<<GLOBAL>>.isValvesSettingSent:0
TEST.END

-- Test Case: handleWetSelfTestFirstDisplacementSetupState.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState
TEST.NEW
TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.003
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.EXPECTED:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.END

-- Subprogram: handleWetSelfTestFirstDisplacementState

-- Test Case: handleWetSelfTestFirstDisplacementState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementState
TEST.NEW
TEST.NAME:handleWetSelfTestFirstDisplacementState.001
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: handleWetSelfTestFirstDisplacementState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementState
TEST.NEW
TEST.NAME:handleWetSelfTestFirstDisplacementState.002
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

-- Subprogram: handleWetSelfTestFirstDisplacementVerifyState

-- Test Case: handleWetSelfTestFirstDisplacementVerifyState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState
TEST.NEW
TEST.NAME:handleWetSelfTestFirstDisplacementVerifyState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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: handleWetSelfTestFirstDisplacementVerifyState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState
TEST.NEW
TEST.NAME:handleWetSelfTestFirstDisplacementVerifyState.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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

-- Subprogram: handleWetSelfTestPrimeCheckState

-- Test Case: handleWetSelfTestPrimeCheckState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState
TEST.NEW
TEST.NAME:handleWetSelfTestPrimeCheckState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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

-- Subprogram: handleWetSelfTestSecondDisplacementSetupState

-- Test Case: handleWetSelfTestSecondDisplacementSetupState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:handleWetSelfTestSecondDisplacementSetupState.001
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.EXPECTED:SelfTests.<<GLOBAL>>.isValvesSettingSent:0
TEST.END

-- Test Case: handleWetSelfTestSecondDisplacementSetupState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:handleWetSelfTestSecondDisplacementSetupState.002
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.EXPECTED:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.END

-- Test Case: handleWetSelfTestSecondDisplacementSetupState.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState
TEST.NEW
TEST.NAME:handleWetSelfTestSecondDisplacementSetupState.003
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.EXPECTED:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.END

-- Subprogram: handleWetSelfTestSecondDisplacementState

-- Test Case: handleWetSelfTestSecondDisplacementState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState
TEST.NEW
TEST.NAME:handleWetSelfTestSecondDisplacementState.001
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: handleWetSelfTestSecondDisplacementState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState
TEST.NEW
TEST.NAME:handleWetSelfTestSecondDisplacementState.002
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

-- Subprogram: handleWetSelfTestSecondDisplacementVerifyState

-- Test Case: handleWetSelfTestSecondDisplacementVerifyState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState
TEST.NEW
TEST.NAME:handleWetSelfTestSecondDisplacementVerifyState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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: handleWetSelfTestSecondDisplacementVerifyState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState
TEST.NEW
TEST.NAME:handleWetSelfTestSecondDisplacementVerifyState.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (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

-- Subprogram: handleWetSelfTestSetupState

-- Test Case: handleWetSelfTestSetupState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestSetupState
TEST.NEW
TEST.NAME:handleWetSelfTestSetupState.001
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

-- Subprogram: handleWetSelfTestStartState

-- Test Case: handleWetSelfTestStartState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:handleWetSelfTestStartState.001
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.EXPECTED:SelfTests.<<GLOBAL>>.isValvesSettingSent:1
TEST.END

-- Test Case: handleWetSelfTestStartState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:handleWetSelfTestStartState.002
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.EXPECTED:SelfTests.<<GLOBAL>>.isValvesSettingSent:0
TEST.END

-- Test Case: handleWetSelfTestStartState.003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStartState
TEST.NEW
TEST.NAME:handleWetSelfTestStartState.003
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.EXPECTED:SelfTests.<<GLOBAL>>.isValvesSettingSent:2
TEST.END

-- Subprogram: handleWetSelfTestStoppedState

-- Test Case: handleWetSelfTestStoppedState.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStoppedState
TEST.NEW
TEST.NAME:handleWetSelfTestStoppedState.001
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.EXPECTED:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:0
TEST.END

-- Test Case: handleWetSelfTestStoppedState.002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:handleWetSelfTestStoppedState
TEST.NEW
TEST.NAME:handleWetSelfTestStoppedState.002
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.EXPECTED:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:0
TEST.END

-- Subprogram: initSelfTests

-- Test Case: initSelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:initSelfTests
TEST.NEW
TEST.NAME:initSelfTests.001
TEST.EXPECTED:SelfTests.<<GLOBAL>>.selfTestStartTime:0
TEST.EXPECTED:SelfTests.<<GLOBAL>>.selfTestPreviousPublishDataTime:0
TEST.EXPECTED:SelfTests.<<GLOBAL>>.syringeOcclusionDelayStartTime:0
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.EXPECTED:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:0
TEST.END

-- Subprogram: setupForSelfTestsStop

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

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

-- Subprogram: signalResumeSelfTests

-- Test Case: signalResumeSelfTests.001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:signalResumeSelfTests
TEST.NEW
TEST.NAME:signalResumeSelfTests.001
TEST.EXPECTED:SelfTests.<<GLOBAL>>.selfTestsResumeRequested:1
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: transitionToNoCartSelfTests,001
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:transitionToNoCartSelfTests,001
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: transitionToNoCartSelfTests,002
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:transitionToNoCartSelfTests,002
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: transitionToNoCartSelfTests,003
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:transitionToNoCartSelfTests,003
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: transitionToNoCartSelfTests,004
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:transitionToNoCartSelfTests,004
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,005
TEST.UNIT:SelfTests
TEST.SUBPROGRAM:transitionToNoCartSelfTests
TEST.NEW
TEST.NAME:transitionToNoCartSelfTests,005
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