-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : PRIME
-- Unit(s) Under Test: Prime
-- 
-- 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: Prime

-- Subprogram: broadcastPrimingStatus

-- Test Case: broadcastPrimingStatus.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:broadcastPrimingStatus
TEST.NEW
TEST.NAME:broadcastPrimingStatus.001
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:700000
TEST.END

-- Test Case: broadcastPrimingStatus.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:broadcastPrimingStatus
TEST.NEW
TEST.NAME:broadcastPrimingStatus.002
TEST.VALUE:Prime.<<GLOBAL>>.primeStatusBroadcastTimerCounter:1000
TEST.END

-- Subprogram: execPrime

-- Test Case: execPrime.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.001
TEST.END

-- Test Case: execPrime.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.002
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_WAIT_FOR_USER_START_STATE
TEST.END

-- Test Case: execPrime.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.003
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_SETUP_STATE
TEST.END

-- Test Case: execPrime.004
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.004
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_PURGE_AIR_STATE
TEST.END

-- Test Case: execPrime.005
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.005
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_CIRC_BLOOD_CIRCUIT_STATE
TEST.END

-- Test Case: execPrime.006
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.006
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
TEST.END

-- Test Case: execPrime.007
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.007
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.END

-- Test Case: execPrime.008
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.008
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
TEST.END

-- Test Case: execPrime.009
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.009
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.END

-- Test Case: execPrime.010
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.010
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_WET_SELF_TESTS_STATE
TEST.END

-- Test Case: execPrime.011
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.011
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_COMPLETE
TEST.END

-- Test Case: execPrime.012
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.012
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_PAUSE
TEST.END

-- Test Case: execPrime.013
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.013
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:NUM_OF_HD_PRIME_STATES
TEST.END

-- Subprogram: getPrimeState

-- Test Case: getPrimeState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:getPrimeState
TEST.NEW
TEST.NAME:getPrimeState.001
TEST.END

-- Subprogram: handlePrimeCircBloodCircuitState

-- Test Case: handlePrimeCircBloodCircuitState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeCircBloodCircuitState
TEST.NEW
TEST.NAME:handlePrimeCircBloodCircuitState.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> 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.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.END

-- Test Case: handlePrimeCircBloodCircuitState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeCircBloodCircuitState
TEST.NEW
TEST.NAME:handlePrimeCircBloodCircuitState.002
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
      (2) if ((1) == didTimeout(noAirDetectedStartTime, 20 * 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:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: handlePrimeCircBloodCircuitState.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeCircBloodCircuitState
TEST.NEW
TEST.NAME:handlePrimeCircBloodCircuitState.003
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
      (2) if ((1) == didTimeout(noAirDetectedStartTime, 20 * 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.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handlePrimeDialysateBypassState

-- Test Case: handlePrimeDialysateBypassState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateBypassState
TEST.NEW
TEST.NAME:handlePrimeDialysateBypassState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 505 TEST.VALUE:Prime.<<GLOBAL>>.previousLoadCellReading:1
    >>>     >>> Unknown parameter/object name previousLoadCellReading
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.END

-- Test Case: handlePrimeDialysateBypassState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateBypassState
TEST.NEW
TEST.NAME:handlePrimeDialysateBypassState.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 514 TEST.VALUE:Prime.<<GLOBAL>>.previousLoadCellReading:1
    >>>     >>> Unknown parameter/object name previousLoadCellReading
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: handlePrimeDialysateBypassState.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateBypassState
TEST.NEW
TEST.NAME:handlePrimeDialysateBypassState.003
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (weightChange < (0.05000000000000000278)) ==> TRUE
      (2) if ((1) == didTimeout(loadcellSteadyVolumeStartTime, 10 * 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable weightChange in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: handlePrimeDialysateBypassState.004
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateBypassState
TEST.NEW
TEST.NAME:handlePrimeDialysateBypassState.004
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (weightChange < (0.05000000000000000278)) ==> FALSE
      (3) if ((1) == didTimeout(primeDialysateBypassStartTime, 120 * 1000)) ==> 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:
      Cannot set local variable weightChange in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handlePrimeDialysateDialyzerState

-- Test Case: handlePrimeDialysateDialyzerState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateDialyzerState
TEST.NEW
TEST.NAME:handlePrimeDialysateDialyzerState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 730 TEST.VALUE:Prime.<<GLOBAL>>.previousLoadCellReading:1
    >>>     >>> Unknown parameter/object name previousLoadCellReading
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.END

-- Test Case: handlePrimeDialysateDialyzerState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateDialyzerState
TEST.NEW
TEST.NAME:handlePrimeDialysateDialyzerState.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 739 TEST.VALUE:Prime.<<GLOBAL>>.previousLoadCellReading:1
    >>>     >>> Unknown parameter/object name previousLoadCellReading
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: handlePrimeDialysateDialyzerState.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateDialyzerState
TEST.NEW
TEST.NAME:handlePrimeDialysateDialyzerState.003
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 749 TEST.VALUE:Prime.<<GLOBAL>>.previousLoadCellReading:1
    >>>     >>> Unknown parameter/object name previousLoadCellReading
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 750 TEST.VALUE:Prime.<<GLOBAL>>.runBloodCircuitPrimeAgain:1
    >>>     >>> Unknown parameter/object name runBloodCircuitPrimeAgain
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: handlePrimeDialysateDialyzerState.004
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateDialyzerState
TEST.NEW
TEST.NAME:handlePrimeDialysateDialyzerState.004
TEST.MCDC_BASIS_PATH:8 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (weightChange < (0.05000000000000000278)) ==> TRUE
      (2) if ((1) == didTimeout(loadcellSteadyVolumeStartTime, 10 * 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable weightChange in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: handlePrimeDialysateDialyzerState.005
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateDialyzerState
TEST.NEW
TEST.NAME:handlePrimeDialysateDialyzerState.005
TEST.MCDC_BASIS_PATH:6 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (weightChange < (0.05000000000000000278)) ==> FALSE
      (4) if ((1) == didTimeout(primeDialysateDialyzerStartTime, 120 * 1000)) ==> 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:
      Cannot set local variable weightChange in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handlePrimePause

-- Test Case: handlePrimePause.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.001
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_SALINE_SETUP_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimePause.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.002
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_SALINE_PURGE_AIR_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimePause.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.003
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_SALINE_CIRC_BLOOD_CIRCUIT_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimePause.004
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.004
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimePause.005
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.005
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimePause.006
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.006
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimePause.007
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.007
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimePause.008
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.008
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_WET_SELF_TESTS_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimePause.009
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.009
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == primeResumeRequested) ==> 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:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimePause.010
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.010
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == primeResumeRequested) ==> 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:Prime.<<GLOBAL>>.primeResumeRequested:<<MIN>>
TEST.END

-- Subprogram: handlePrimePurgeAirState

-- Test Case: handlePrimePurgeAirState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePurgeAirState
TEST.NEW
TEST.NAME:handlePrimePurgeAirState.001
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == didTimeout(purgeAirTimeOutStartTime, 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: handlePrimePurgeAirState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePurgeAirState
TEST.NEW
TEST.NAME:handlePrimePurgeAirState.002
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == didTimeout(purgeAirTimeOutStartTime, 60 * 1000)) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> 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.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: handlePrimePurgeAirState.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePurgeAirState
TEST.NEW
TEST.NAME:handlePrimePurgeAirState.003
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == didTimeout(purgeAirTimeOutStartTime, 60 * 1000)) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
      (3) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> 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:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: handlePrimeReservoirOneFillCompleteState

-- Test Case: handlePrimeReservoirOneFillCompleteState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeReservoirOneFillCompleteState
TEST.NEW
TEST.NAME:handlePrimeReservoirOneFillCompleteState.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == getReservoirFillStatus(DG_RESERVOIR_1)) ==> 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.getReservoirFillStatus.return:1
TEST.END

-- Test Case: handlePrimeReservoirOneFillCompleteState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeReservoirOneFillCompleteState
TEST.NEW
TEST.NAME:handlePrimeReservoirOneFillCompleteState.002
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == getReservoirFillStatus(DG_RESERVOIR_1)) ==> TRUE
      (2) if ((1) == hasDGCompletedReservoirSwitch()) ==> 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.hasDGCompletedReservoirSwitch.return:1
TEST.VALUE:uut_prototype_stubs.getReservoirFillStatus.return:1
TEST.END

-- Test Case: handlePrimeReservoirOneFillCompleteState.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeReservoirOneFillCompleteState
TEST.NEW
TEST.NAME:handlePrimeReservoirOneFillCompleteState.003
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == getReservoirFillStatus(DG_RESERVOIR_1)) ==> 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.getReservoirFillStatus.return:<<MIN>>
TEST.END

-- Subprogram: handlePrimeReservoirTwoFillCompleteState

-- Test Case: handlePrimeReservoirTwoFillCompleteState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeReservoirTwoFillCompleteState
TEST.NEW
TEST.NAME:handlePrimeReservoirTwoFillCompleteState.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == getReservoirFillStatus(DG_RESERVOIR_2)) ==> 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.getReservoirFillStatus.return:1
TEST.END

-- Test Case: handlePrimeReservoirTwoFillCompleteState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeReservoirTwoFillCompleteState
TEST.NEW
TEST.NAME:handlePrimeReservoirTwoFillCompleteState.002
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == getReservoirFillStatus(DG_RESERVOIR_2)) ==> TRUE
      (2) if ((1) == hasDGCompletedReservoirSwitch()) ==> 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.hasDGCompletedReservoirSwitch.return:1
TEST.VALUE:uut_prototype_stubs.getReservoirFillStatus.return:1
TEST.END

-- Test Case: handlePrimeReservoirTwoFillCompleteState.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeReservoirTwoFillCompleteState
TEST.NEW
TEST.NAME:handlePrimeReservoirTwoFillCompleteState.003
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == getReservoirFillStatus(DG_RESERVOIR_2)) ==> 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.getReservoirFillStatus.return:<<MIN>>
TEST.END

-- Subprogram: handlePrimeSalineSetupState

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

-- Test Case: handlePrimeSalineSetupState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeSalineSetupState
TEST.NEW
TEST.NAME:handlePrimeSalineSetupState.002
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: handlePrimeWaitForUserStartState

-- Test Case: handlePrimeWaitForUserStartState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeWaitForUserStartState
TEST.NEW
TEST.NAME:handlePrimeWaitForUserStartState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == primeStartRequested) ==> 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:Prime.<<GLOBAL>>.primeStartRequested:1
TEST.END

-- Test Case: handlePrimeWaitForUserStartState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeWaitForUserStartState
TEST.NEW
TEST.NAME:handlePrimeWaitForUserStartState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == primeStartRequested) ==> 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:Prime.<<GLOBAL>>.primeStartRequested:<<MIN>>
TEST.END

-- Subprogram: handlePrimeWetSelfTestsState

-- Test Case: handlePrimeWetSelfTestsState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeWetSelfTestsState
TEST.NEW
TEST.NAME:handlePrimeWetSelfTestsState.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == primeResumeRequested) ==> 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:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.END

-- Test Case: handlePrimeWetSelfTestsState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeWetSelfTestsState
TEST.NEW
TEST.NAME:handlePrimeWetSelfTestsState.002
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == primeResumeRequested) ==> FALSE
      (2) if ((1) == isWetSelfTestsPassed()) ==> 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:Prime.<<GLOBAL>>.primeResumeRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isWetSelfTestsPassed.return:1
TEST.END

-- Test Case: handlePrimeWetSelfTestsState.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeWetSelfTestsState
TEST.NEW
TEST.NAME:handlePrimeWetSelfTestsState.003
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == primeResumeRequested) ==> FALSE
      (2) if ((1) == isWetSelfTestsPassed()) ==> 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:Prime.<<GLOBAL>>.primeResumeRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.isWetSelfTestsPassed.return:<<MIN>>
TEST.END

-- Subprogram: initPrime

-- Test Case: initPrime.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:initPrime
TEST.NEW
TEST.NAME:initPrime.001
TEST.END

-- Subprogram: purgeAirValvesBloodPumpControl

-- Test Case: purgeAirValvesBloodPumpControl.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:purgeAirValvesBloodPumpControl
TEST.NEW
TEST.NAME:purgeAirValvesBloodPumpControl.001
TEST.END

-- Subprogram: resetPrimeFlags

-- Test Case: resetPrimeFlags.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:resetPrimeFlags
TEST.NEW
TEST.NAME:resetPrimeFlags.001
TEST.END

-- Subprogram: setupForPrimePause

-- Test Case: setupForPrimePause.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:setupForPrimePause
TEST.NEW
TEST.NAME:setupForPrimePause.001
TEST.END

-- Subprogram: signalResumePrime

-- Test Case: signalResumePrime.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:signalResumePrime
TEST.NEW
TEST.NAME:signalResumePrime.001
TEST.END

-- Subprogram: signalStartPrime

-- Test Case: signalStartPrime.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:signalStartPrime
TEST.NEW
TEST.NAME:signalStartPrime.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((HD_PRIME_WAIT_FOR_USER_START_STATE) == currentPrimeState) ==> 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:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_WAIT_FOR_USER_START_STATE
TEST.END

-- Test Case: signalStartPrime.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:signalStartPrime
TEST.NEW
TEST.NAME:signalStartPrime.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((HD_PRIME_WAIT_FOR_USER_START_STATE) == currentPrimeState) ==> 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:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_START_STATE
TEST.END

-- Subprogram: transitionToPrime

-- Test Case: transitionToPrime.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:transitionToPrime
TEST.NEW
TEST.NAME:transitionToPrime.001
TEST.END