-- 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.activateAlarm2Data.alarm:ALARM_ID_PRIME_OUT_OF_TIME
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:700
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:600
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:700000
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:700
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:600
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.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_PRIMING_STATUS_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.VALUE:uut_prototype_stubs.broadcastData.length:8
TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8
TEST.END

-- Subprogram: execPrime

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

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

-- Test Case: execPrime.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.003
TEST.STUB:Prime.handlePrimeSalineSetupState
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_SETUP_STATE
TEST.VALUE:Prime.handlePrimeSalineSetupState.return:HD_PRIME_SALINE_SETUP_STATE
TEST.EXPECTED: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.STUB:Prime.handlePrimePurgeAirState
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_PURGE_AIR_STATE
TEST.VALUE:Prime.handlePrimePurgeAirState.return:HD_PRIME_SALINE_PURGE_AIR_STATE
TEST.EXPECTED: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.STUB:Prime.handlePrimeCircBloodCircuitState
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_CIRC_BLOOD_CIRCUIT_STATE
TEST.VALUE:Prime.handlePrimeCircBloodCircuitState.return:HD_PRIME_SALINE_CIRC_BLOOD_CIRCUIT_STATE
TEST.EXPECTED: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.STUB:Prime.handlePrimeReservoirOneFillCompleteState
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
TEST.VALUE:Prime.handlePrimeReservoirOneFillCompleteState.return:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
TEST.EXPECTED: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.STUB:Prime.handlePrimeDialysateDialyzerState
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.VALUE:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.EXPECTED: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.STUB:Prime.handlePrimeReservoirTwoFillCompleteState
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
TEST.VALUE:Prime.handlePrimeReservoirTwoFillCompleteState.return:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
TEST.EXPECTED: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.STUB:Prime.handlePrimeDialysateBypassState
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.VALUE:Prime.handlePrimeDialysateBypassState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.EXPECTED: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.STUB:Prime.handlePrimeWetSelfTestsState
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_WET_SELF_TESTS_STATE
TEST.VALUE:Prime.handlePrimeWetSelfTestsState.return:HD_PRIME_WET_SELF_TESTS_STATE
TEST.EXPECTED: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.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.EXPECTED:Prime.<<GLOBAL>>.primeResumeRequested:0
TEST.END

-- Test Case: execPrime.012
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.012
TEST.STUB:Prime.handlePrimePause
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_PAUSE
TEST.VALUE:Prime.handlePrimePause.return:HD_PRIME_PAUSE
TEST.EXPECTED: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.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:93
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:93
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.END

-- Test Case: execPrime.014
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.014
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_DIALYZER_SETUP_STATE
TEST.EXPECTED:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_DIALYZER_STATE
TEST.END

-- Test Case: execPrime.015
TEST.UNIT:Prime
TEST.SUBPROGRAM:execPrime
TEST.NEW
TEST.NAME:execPrime.015
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_DIALYZER_STATE
TEST.EXPECTED:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_DIALYZER_STATE
TEST.END

-- Subprogram: getDialyzerBloodVolume

-- Test Case: getDialyzerBloodVolume.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:getDialyzerBloodVolume
TEST.NEW
TEST.NAME:getDialyzerBloodVolume.001
TEST.VALUE:Prime.<<GLOBAL>>.dialyzerVolumeTable[0].bloodVolume:82
TEST.VALUE:Prime.getDialyzerBloodVolume.return:82.0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_DIALYZER_TYPE
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:0
TEST.EXPECTED:Prime.<<GLOBAL>>.dialyzerVolumeTable[0].bloodVolume:82
TEST.EXPECTED:Prime.getDialyzerBloodVolume.return:82.0
TEST.END

-- Subprogram: getPrimeState

-- Test Case: getPrimeState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:getPrimeState
TEST.NEW
TEST.NAME:getPrimeState.001
TEST.VALUE:Prime.getPrimeState.return:0
TEST.EXPECTED:Prime.getPrimeState.return:0
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:Prime.handlePrimeCircBloodCircuitState.return:HD_PRIME_SALINE_PURGE_AIR_STATE
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Prime.handlePrimeCircBloodCircuitState.return:HD_PRIME_SALINE_PURGE_AIR_STATE
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:Prime.handlePrimeCircBloodCircuitState.return:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.handlePrimeCircBloodCircuitState.return:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
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:Prime.handlePrimeCircBloodCircuitState.return:HD_PRIME_PAUSE
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.EXPECTED:Prime.handlePrimeCircBloodCircuitState.return:HD_PRIME_PAUSE
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:Prime.<<GLOBAL>>.steadyVolumeSamplingStartTime:0
TEST.VALUE:Prime.<<GLOBAL>>.steadyVolumeCount:1000
TEST.VALUE:Prime.handlePrimeDialysateBypassState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1,0
TEST.EXPECTED:Prime.<<GLOBAL>>.steadyVolumeSamplingStartTime:0
TEST.EXPECTED:Prime.<<GLOBAL>>.steadyVolumeCount:1000
TEST.EXPECTED:Prime.handlePrimeDialysateBypassState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
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:Prime.handlePrimeDialysateBypassState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_PRIME_DIALYSATE_BYPASS_TIME_OUT
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:15000
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.handlePrimeDialysateBypassState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:15000
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:Prime.<<GLOBAL>>.minimumReservoirVolume:-3.40282E+38
TEST.VALUE:Prime.handlePrimeDialysateBypassState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_2_PRIMARY
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.<<GLOBAL>>.minimumReservoirVolume:-3.40282E+38
TEST.EXPECTED:Prime.handlePrimeDialysateBypassState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.END

-- Test Case: handlePrimeDialysateBypassState.004
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateBypassState
TEST.NEW
TEST.NAME:handlePrimeDialysateBypassState.004
TEST.VALUE:Prime.<<GLOBAL>>.steadyVolumeCount:999
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.<<GLOBAL>>.steadyVolumeCount:1000
TEST.END

-- Test Case: handlePrimeDialysateBypassState.005
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateBypassState
TEST.NEW
TEST.NAME:handlePrimeDialysateBypassState.005
TEST.VALUE:Prime.<<GLOBAL>>.steadyVolumeSamplingStartTime:0
TEST.VALUE:Prime.handlePrimeDialysateBypassState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:Prime.<<GLOBAL>>.steadyVolumeSamplingStartTime:0
TEST.EXPECTED:Prime.handlePrimeDialysateBypassState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
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:Prime.<<GLOBAL>>.steadyVolumeSamplingStartTime:0
TEST.VALUE:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Prime.<<GLOBAL>>.steadyVolumeSamplingStartTime:0
TEST.EXPECTED:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
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:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_PRIME_DIALYSATE_DIALYZER_TIME_OUT
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0
TEST.EXPECTED:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY
TEST.END

-- Test Case: handlePrimeDialysateDialyzerState.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateDialyzerState
TEST.NEW
TEST.NAME:handlePrimeDialysateDialyzerState.003
TEST.VALUE:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1,0
TEST.EXPECTED:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
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:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
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:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_PAUSE
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.EXPECTED:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_PAUSE
TEST.END

-- Test Case: handlePrimeDialysateDialyzerState.006
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeDialysateDialyzerState
TEST.NEW
TEST.NAME:handlePrimeDialysateDialyzerState.006
TEST.VALUE:Prime.<<GLOBAL>>.steadyVolumeCount:998
TEST.VALUE:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_SALINE_DIALYZER_SETUP_STATE
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_PRIME_DIALYSATE_DIALYZER_TIME_OUT
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:1.0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.<<GLOBAL>>.steadyVolumeCount:999
TEST.EXPECTED:Prime.handlePrimeDialysateDialyzerState.return:HD_PRIME_SALINE_DIALYZER_SETUP_STATE
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:0
TEST.EXPECTED:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY
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.EXPECTED:Prime.handlePrimePause.return:HD_PRIME_SALINE_SETUP_STATE
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.EXPECTED:Prime.handlePrimePause.return:HD_PRIME_SALINE_SETUP_STATE
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.EXPECTED:Prime.handlePrimePause.return:HD_PRIME_SALINE_SETUP_STATE
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.EXPECTED:Prime.handlePrimePause.return:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
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.EXPECTED:Prime.handlePrimePause.return:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
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.EXPECTED:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
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.EXPECTED:Prime.handlePrimePause.return:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
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.EXPECTED:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_WET_SELF_TESTS_STATE
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.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:93
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:93
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:0
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.VALUE:Prime.handlePrimePause.return:HD_PRIME_PAUSE
TEST.EXPECTED:Prime.handlePrimePause.return:HD_PRIME_PAUSE
TEST.END

-- Test Case: handlePrimePause.011
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.011
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_SALINE_DIALYZER_SETUP_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.EXPECTED:Prime.<<GLOBAL>>.primeResumeRequested:0
TEST.END

-- Test Case: handlePrimePause.012
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimePause
TEST.NEW
TEST.NAME:handlePrimePause.012
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_SALINE_DIALYZER_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.VALUE:Prime.handlePrimePause.return:HD_PRIME_SALINE_DIALYZER_SETUP_STATE
TEST.EXPECTED:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_SALINE_DIALYZER_STATE
TEST.EXPECTED:Prime.<<GLOBAL>>.primeResumeRequested:0
TEST.EXPECTED:Prime.handlePrimePause.return:HD_PRIME_SALINE_DIALYZER_SETUP_STATE
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:Prime.handlePrimePurgeAirState.return:HD_PRIME_SALINE_PURGE_AIR_STATE
TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_PRIME_PURGE_AIR_TIME_OUT
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.handlePrimePurgeAirState.return:HD_PRIME_SALINE_PURGE_AIR_STATE
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:Prime.handlePrimePurgeAirState.return:HD_PRIME_SALINE_CIRC_BLOOD_CIRCUIT_STATE
TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.EXPECTED:Prime.handlePrimePurgeAirState.return:HD_PRIME_SALINE_CIRC_BLOOD_CIRCUIT_STATE
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,VALVE_POSITION_B_OPEN
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:Prime.handlePrimePurgeAirState.return:HD_PRIME_PAUSE
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.EXPECTED:Prime.handlePrimePurgeAirState.return:HD_PRIME_PAUSE
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:Prime.handlePrimeReservoirOneFillCompleteState.return:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
TEST.VALUE:uut_prototype_stubs.cmdSetDGActiveReservoir.resID:DG_RESERVOIR_1
TEST.VALUE:uut_prototype_stubs.getReservoirFillStatus.return:1
TEST.EXPECTED:Prime.handlePrimeReservoirOneFillCompleteState.return:HD_PRIME_RESERVOIR_ONE_FILL_COMPLETE_STATE
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:Prime.<<GLOBAL>>.primeDialysateDialyzerTimeLimit:57000
TEST.VALUE:Prime.<<GLOBAL>>.steadyVolumeCount:0
TEST.VALUE:Prime.handlePrimeReservoirOneFillCompleteState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:300
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.VALUE:uut_prototype_stubs.setDialOutPumpTargetRate.flowRate:300
TEST.VALUE:uut_prototype_stubs.setDialOutPumpTargetRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setDialOutPumpTargetRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_2_PRIMARY
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:0.0
TEST.VALUE:uut_prototype_stubs.cmdSetDGActiveReservoir.resID:DG_RESERVOIR_1
TEST.VALUE:uut_prototype_stubs.getReservoirFillStatus.return:1
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Prime.<<GLOBAL>>.primeDialysateDialyzerTimeLimit:57000
TEST.EXPECTED:Prime.<<GLOBAL>>.steadyVolumeCount:0
TEST.EXPECTED:Prime.handlePrimeReservoirOneFillCompleteState.return:HD_PRIME_DIALYSATE_DIALYZER_STATE
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:300
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.EXPECTED:uut_prototype_stubs.setDialOutPumpTargetRate.flowRate:300
TEST.EXPECTED:uut_prototype_stubs.setDialOutPumpTargetRate.dir:MOTOR_DIR_FORWARD
TEST.EXPECTED:uut_prototype_stubs.setDialOutPumpTargetRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.EXPECTED:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_2_PRIMARY
TEST.EXPECTED:uut_prototype_stubs.cmdSetDGActiveReservoir.resID:DG_RESERVOIR_1
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_B_OPEN,(2)VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
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:Prime.handlePrimeReservoirOneFillCompleteState.return:HD_PRIME_PAUSE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getReservoirFillStatus.return:<<MIN>>
TEST.EXPECTED:Prime.handlePrimeReservoirOneFillCompleteState.return:HD_PRIME_PAUSE
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:Prime.handlePrimeReservoirTwoFillCompleteState.return:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
TEST.VALUE:uut_prototype_stubs.cmdSetDGActiveReservoir.resID:DG_RESERVOIR_2
TEST.VALUE:uut_prototype_stubs.getReservoirFillStatus.return:1
TEST.EXPECTED:Prime.handlePrimeReservoirTwoFillCompleteState.return:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
TEST.EXPECTED:uut_prototype_stubs.cmdSetDGActiveReservoir.resID:DG_RESERVOIR_2
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:Prime.<<GLOBAL>>.primeDialysateBypassStartTime:0
TEST.VALUE:Prime.<<GLOBAL>>.steadyVolumeSamplingStartTime:0
TEST.VALUE:Prime.<<GLOBAL>>.steadyVolumeCount:0
TEST.VALUE:Prime.handlePrimeReservoirTwoFillCompleteState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:300
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1
TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_2_PRIMARY
TEST.VALUE:uut_prototype_stubs.getReservoirFillStatus.return:1
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Prime.<<GLOBAL>>.primeDialysateBypassStartTime:0
TEST.EXPECTED:Prime.<<GLOBAL>>.steadyVolumeSamplingStartTime:0
TEST.EXPECTED:Prime.<<GLOBAL>>.steadyVolumeCount:0
TEST.EXPECTED:Prime.handlePrimeReservoirTwoFillCompleteState.return:HD_PRIME_DIALYSATE_BYPASS_STATE
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:300
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.EXPECTED:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_2_PRIMARY
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
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:Prime.handlePrimeReservoirTwoFillCompleteState.return:HD_PRIME_PAUSE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getReservoirFillStatus.return:<<MIN>>
TEST.EXPECTED:Prime.handlePrimeReservoirTwoFillCompleteState.return:HD_PRIME_PAUSE
TEST.END

-- Subprogram: handlePrimeSalineDialyzerSetupState

-- Test Case: handlePrimeSalineDialyzerSetupState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeSalineDialyzerSetupState
TEST.NEW
TEST.NAME:handlePrimeSalineDialyzerSetupState.001
TEST.STUB:Prime.getDialyzerDialysateVolume
TEST.VALUE:Prime.<<GLOBAL>>.primeSalineDialyzerTimeLimit:3400
TEST.VALUE:Prime.<<GLOBAL>>.primeSalineDialyzerStartTime:0
TEST.VALUE:Prime.getDialyzerDialysateVolume.return:0.0
TEST.VALUE:Prime.handlePrimeSalineDialyzerSetupState.return:HD_PRIME_SALINE_DIALYZER_STATE
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:300
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:Prime.<<GLOBAL>>.primeSalineDialyzerTimeLimit:3400
TEST.EXPECTED:Prime.<<GLOBAL>>.primeSalineDialyzerStartTime:0
TEST.EXPECTED:Prime.handlePrimeSalineDialyzerSetupState.return:HD_PRIME_SALINE_DIALYZER_STATE
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:300
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT,(3)VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: handlePrimeSalineDialyzerSetupState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeSalineDialyzerSetupState
TEST.NEW
TEST.NAME:handlePrimeSalineDialyzerSetupState.002
TEST.VALUE:Prime.handlePrimeSalineDialyzerSetupState.return:HD_PRIME_PAUSE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.EXPECTED:Prime.handlePrimeSalineDialyzerSetupState.return:HD_PRIME_PAUSE
TEST.END

-- Subprogram: handlePrimeSalineDialyzerState

-- Test Case: handlePrimeSalineDialyzerState.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeSalineDialyzerState
TEST.NEW
TEST.NAME:handlePrimeSalineDialyzerState.001
TEST.VALUE:Prime.handlePrimeSalineDialyzerState.return:HD_PRIME_SALINE_DIALYZER_STATE
TEST.EXPECTED:Prime.handlePrimeSalineDialyzerState.return:HD_PRIME_SALINE_DIALYZER_STATE
TEST.END

-- Test Case: handlePrimeSalineDialyzerState.002
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeSalineDialyzerState
TEST.NEW
TEST.NAME:handlePrimeSalineDialyzerState.002
TEST.VALUE:Prime.handlePrimeSalineDialyzerState.return:HD_PRIME_PAUSE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.handlePrimeSalineDialyzerState.return:HD_PRIME_PAUSE
TEST.END

-- Test Case: handlePrimeSalineDialyzerState.003
TEST.UNIT:Prime
TEST.SUBPROGRAM:handlePrimeSalineDialyzerState
TEST.NEW
TEST.NAME:handlePrimeSalineDialyzerState.003
TEST.VALUE:Prime.handlePrimeSalineDialyzerState.return:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:Prime.handlePrimeSalineDialyzerState.return:HD_PRIME_RESERVOIR_TWO_FILL_COMPLETE_STATE
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:Prime.handlePrimeSalineSetupState.return:HD_PRIME_PAUSE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.EXPECTED:Prime.handlePrimeSalineSetupState.return:HD_PRIME_PAUSE
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:Prime.handlePrimeSalineSetupState.return:HD_PRIME_SALINE_PURGE_AIR_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Prime.<<GLOBAL>>.purgeAirTimeOutStartTime:0
TEST.EXPECTED:Prime.handlePrimeSalineSetupState.return:HD_PRIME_SALINE_PURGE_AIR_STATE
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.VALUE:Prime.handlePrimeWaitForUserStartState.return:HD_PRIME_SALINE_SETUP_STATE
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Prime.<<GLOBAL>>.primeStartRequested:0
TEST.EXPECTED:Prime.handlePrimeWaitForUserStartState.return:HD_PRIME_SALINE_SETUP_STATE
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.VALUE:Prime.handlePrimeWaitForUserStartState.return:HD_PRIME_WAIT_FOR_USER_START_STATE
TEST.EXPECTED:Prime.handlePrimeWaitForUserStartState.return:HD_PRIME_WAIT_FOR_USER_START_STATE
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.VALUE:Prime.handlePrimeWetSelfTestsState.return:HD_PRIME_WET_SELF_TESTS_STATE
TEST.EXPECTED:Prime.handlePrimeWetSelfTestsState.return:HD_PRIME_WET_SELF_TESTS_STATE
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:Prime.handlePrimeWetSelfTestsState.return:HD_PRIME_COMPLETE
TEST.VALUE:uut_prototype_stubs.isWetSelfTestsPassed.return:1
TEST.EXPECTED:Prime.handlePrimeWetSelfTestsState.return:HD_PRIME_COMPLETE
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:Prime.handlePrimeWetSelfTestsState.return:HD_PRIME_PAUSE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.isWetSelfTestsPassed.return:<<MIN>>
TEST.EXPECTED:Prime.handlePrimeWetSelfTestsState.return:HD_PRIME_PAUSE
TEST.END

-- Subprogram: initPrime

-- Test Case: initPrime.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:initPrime
TEST.NEW
TEST.NAME:initPrime.001
TEST.STUB:Prime.transitionToPrime
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_SETUP_STATE
TEST.EXPECTED:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_SALINE_SETUP_STATE
TEST.END

-- Subprogram: purgeAirValvesBloodPumpControl

-- Test Case: purgeAirValvesBloodPumpControl.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:purgeAirValvesBloodPumpControl
TEST.NEW
TEST.NAME:purgeAirValvesBloodPumpControl.001
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_OPEN
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(4)VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_OPEN
TEST.END

-- Subprogram: resetPrimeFlags

-- Test Case: resetPrimeFlags.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:resetPrimeFlags
TEST.NEW
TEST.NAME:resetPrimeFlags.001
TEST.VALUE:Prime.<<GLOBAL>>.primeStartRequested:0
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:0
TEST.EXPECTED:Prime.<<GLOBAL>>.primeStartRequested:0
TEST.EXPECTED:Prime.<<GLOBAL>>.primeResumeRequested:0
TEST.END

-- Subprogram: setupForPrimePause

-- Test Case: setupForPrimePause.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:setupForPrimePause
TEST.NEW
TEST.NAME:setupForPrimePause.001
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_PAUSE
TEST.VALUE:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_PAUSE
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:0
TEST.EXPECTED:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_PAUSE
TEST.EXPECTED:Prime.<<GLOBAL>>.previousPrimeState:HD_PRIME_PAUSE
TEST.EXPECTED:Prime.<<GLOBAL>>.primePauseStartTime:0
TEST.END

-- Subprogram: signalResumePrime

-- Test Case: signalResumePrime.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:signalResumePrime
TEST.NEW
TEST.NAME:signalResumePrime.001
TEST.VALUE:Prime.<<GLOBAL>>.primeResumeRequested:1
TEST.EXPECTED:Prime.<<GLOBAL>>.primeResumeRequested:1
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.VALUE:uut_prototype_stubs.sendStartPrimeCmdResponse.accepted:1
TEST.VALUE:uut_prototype_stubs.sendStartPrimeCmdResponse.reason:0
TEST.EXPECTED:uut_prototype_stubs.sendStartPrimeCmdResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendStartPrimeCmdResponse.reason:0
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.VALUE:uut_prototype_stubs.sendStartPrimeCmdResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendStartPrimeCmdResponse.reason:1
TEST.EXPECTED:uut_prototype_stubs.sendStartPrimeCmdResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendStartPrimeCmdResponse.reason:1
TEST.END

-- Subprogram: transitionToPrime

-- Test Case: transitionToPrime.001
TEST.UNIT:Prime
TEST.SUBPROGRAM:transitionToPrime
TEST.NEW
TEST.NAME:transitionToPrime.001
TEST.VALUE:Prime.<<GLOBAL>>.currentPrimeState:HD_PRIME_START_STATE
TEST.VALUE:Prime.<<GLOBAL>>.currentReservoirMgmtState:PRIME_RESERVOIR_MGMT_START_STATE
TEST.VALUE:Prime.<<GLOBAL>>.primeStartTime:1
TEST.VALUE:Prime.<<GLOBAL>>.primePauseStartTime:0
TEST.VALUE:Prime.<<GLOBAL>>.primeStatusBroadcastTimerCounter:0
TEST.VALUE:Prime.<<GLOBAL>>.primeDialysateBypassStartTime:5
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1,0,1
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1
TEST.EXPECTED:Prime.<<GLOBAL>>.primeStartTime:1
TEST.EXPECTED:Prime.<<GLOBAL>>.primePauseStartTime:0
TEST.EXPECTED:Prime.<<GLOBAL>>.primeStatusBroadcastTimerCounter:0
TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1,0,1
TEST.END