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

-- Subprogram: collectTreatmentLogData

-- Test Case: collectTreatmentLogData.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:collectTreatmentLogData
TEST.NEW
TEST.NAME:collectTreatmentLogData.001
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (treatmentLogData.treatmentStartDateAndTime != (0) && (0) == isTreatmentCompleted()) ==> 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:ModePostTreat.<<GLOBAL>>.treatmentLogData.bloodFlowRate_mL_min:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateFlowRate_mL_min:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentDuration_sec:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualTreatmentDur_sec:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.acidConcentrate:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.bicarbonateConcentration:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateTemperature_degC:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialyzerType:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentStartDateAndTime:1
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentEndDateAndTime:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgBloodFlow_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateFlow_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateVolumeUsed_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateTemperature_degC:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFVolume_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.targetUFVolume_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFVolume_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFRate_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFRate_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.salineBolusVolume_mL:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinBolusVolume_mL:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDispenseRate_mL_hr:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinPreStop_min:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDeliveredVolume_mL:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinType:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgArterialPressure_mmHg:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgVenousPressure_mmHg:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.deviceID:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.waterSampleTestResult:0
TEST.VALUE:uut_prototype_stubs.getTotalSalineBolusVolumeDelivered.return:0.0
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:0
TEST.VALUE:uut_prototype_stubs.getActualTreatmentTimeSecs.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentAvgBloodFlowRate.return:0.0
TEST.VALUE:uut_prototype_stubs.getTreatmentAvgDialysateFlowRate.return:0.0
TEST.VALUE:uut_prototype_stubs.getTreatmentAvgDialysateTemp.return:0.0
TEST.VALUE:uut_prototype_stubs.getTreatmentAvgArterialPressure.return:0.0
TEST.VALUE:uut_prototype_stubs.getTreatmentAvgVenousPressure.return:0.0
TEST.VALUE:uut_prototype_stubs.getTreatmentStartTimeStamp.return:1
TEST.VALUE:uut_prototype_stubs.getTreatmentEndTimeStamp.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.0
TEST.VALUE:uut_prototype_stubs.getUltrafiltrationVolumeOriginal.return:0.0
TEST.VALUE:uut_prototype_stubs.getUltrafiltrationRateOriginal.return:0.0
TEST.VALUE:uut_prototype_stubs.getRTCTimestamp.return:0
TEST.VALUE:uut_prototype_stubs.getSampleWaterResult.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.bloodFlowRate_mL_min:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateFlowRate_mL_min:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentDuration_sec:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualTreatmentDur_sec:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.acidConcentrate:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.bicarbonateConcentration:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateTemperature_degC:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialyzerType:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentStartDateAndTime:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentEndDateAndTime:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgBloodFlow_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateFlow_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateVolumeUsed_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateTemperature_degC:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFVolume_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.targetUFVolume_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFVolume_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFRate_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFRate_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.salineBolusVolume_mL:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinBolusVolume_mL:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDispenseRate_mL_hr:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinPreStop_min:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDeliveredVolume_mL:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinType:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgArterialPressure_mmHg:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgVenousPressure_mmHg:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.deviceID:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.waterSampleTestResult:0
TEST.END

-- Test Case: collectTreatmentLogData.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:collectTreatmentLogData
TEST.NEW
TEST.NAME:collectTreatmentLogData.002
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (treatmentLogData.treatmentStartDateAndTime != (0) && (0) == isTreatmentCompleted()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.bloodFlowRate_mL_min:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateFlowRate_mL_min:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentDuration_sec:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualTreatmentDur_sec:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.acidConcentrate:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.bicarbConcentrate:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateTemperature_degC:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialyzerType:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentStartDateAndTime:1
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentEndDateAndTime:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgBloodFlow_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateFlow_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateVolumeUsed_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateTemperature_degC:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFVolume_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.targetUFVolume_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFVolume_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFRate_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFRate_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.salineBolusVolume_mL:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinBolusVolume_mL:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDispenseRate_mL_hr:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinPreStop_min:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDeliveredVolume_mL:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinType:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgArterialPressure_mmHg:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgVenousPressure_mmHg:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.waterSampleTestResult:0
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:1
TEST.VALUE:uut_prototype_stubs.getTreatmentStartTimeStamp.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.bloodFlowRate_mL_min:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateFlowRate_mL_min:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentDuration_sec:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualTreatmentDur_sec:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.acidConcentrate:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.bicarbConcentrate:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateTemperature_degC:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialyzerType:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentStartDateAndTime:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentEndDateAndTime:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgBloodFlow_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateFlow_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateVolumeUsed_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateTemperature_degC:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFVolume_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.targetUFVolume_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFVolume_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFRate_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFRate_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.salineBolusVolume_mL:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinBolusVolume_mL:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDispenseRate_mL_hr:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinPreStop_min:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDeliveredVolume_mL:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinType:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgArterialPressure_mmHg:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgVenousPressure_mmHg:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.waterSampleTestResult:0
TEST.END

-- Test Case: collectTreatmentLogData.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:collectTreatmentLogData
TEST.NEW
TEST.NAME:collectTreatmentLogData.003
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (treatmentLogData.treatmentStartDateAndTime != (0) && (0) == isTreatmentCompleted()) ==> FALSE
      (2) if (treatmentLogData.actualTreatmentDur_sec > (0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set treatmentLogData.treatmentDuration_sec due to assignment
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.bloodFlowRate_mL_min:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateFlowRate_mL_min:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentDuration_sec:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualTreatmentDur_sec:4294967295
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.acidConcentrate:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.bicarbConcentrate:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateTemperature_degC:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialyzerType:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentStartDateAndTime:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentEndDateAndTime:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgBloodFlow_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateFlow_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateVolumeUsed_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateTemperature_degC:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFVolume_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.targetUFVolume_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFVolume_L:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFRate_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFRate_mL_min:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.salineBolusVolume_mL:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinBolusVolume_mL:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDispenseRate_mL_hr:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinPreStop_min:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDeliveredVolume_mL:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinType:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgArterialPressure_mmHg:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgVenousPressure_mmHg:0.0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.deviceID:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.treatmentLogData.waterSampleTestResult:0
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:1
TEST.VALUE:uut_prototype_stubs.getActualTreatmentTimeSecs.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getTreatmentStartTimeStamp.return:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.bloodFlowRate_mL_min:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateFlowRate_mL_min:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentDuration_sec:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualTreatmentDur_sec:4294967295
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.acidConcentrate:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.bicarbConcentrate:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateTemperature_degC:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialyzerType:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentStartDateAndTime:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.treatmentEndDateAndTime:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgBloodFlow_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateFlow_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.dialysateVolumeUsed_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgDialysateTemperature_degC:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFVolume_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.targetUFVolume_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFVolume_L:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.originUFRate_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.actualUFRate_mL_min:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.salineBolusVolume_mL:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinBolusVolume_mL:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDispenseRate_mL_hr:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinPreStop_min:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinDeliveredVolume_mL:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.heparinType:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgArterialPressure_mmHg:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.avgVenousPressure_mmHg:0.0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.deviceID:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.treatmentLogData.waterSampleTestResult:0
TEST.END

-- Subprogram: execDrainReservoirs

-- Test Case: execDrainReservoirs.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.001
TEST.BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) case currentDrainReservoirState ==> DRAIN_DG_DEPRIME_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_DG_DEPRIME_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_DG_DEPRIME_STATE
TEST.END

-- Test Case: execDrainReservoirs.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.002
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) case currentDrainReservoirState ==> DRAIN_DG_DEPRIME_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_SWITCH_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_SWITCH_STATE
TEST.END

-- Test Case: execDrainReservoirs.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.003
TEST.BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) case currentDrainReservoirState ==> DRAIN_RESERVOIR_START_DRAIN_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_START_DRAIN_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_START_DRAIN_STATE
TEST.END

-- Test Case: execDrainReservoirs.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.004
TEST.BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (3) case currentDrainReservoirState ==> DRAIN_RESERVOIR_DRAIN_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_DRAIN_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_DRAIN_STATE
TEST.END

-- Test Case: execDrainReservoirs.005
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.005
TEST.BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (4) case currentDrainReservoirState ==> DRAIN_RESERVOIR_COMPLETE_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_COMPLETE_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_COMPLETE_STATE
TEST.END

-- Test Case: execDrainReservoirs.006
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.006
TEST.IMPORT_FAILURES:
(I) @LINE: 302
    >>> 'SW_FAULT_ID_POST_TREATMENT_RESERVOIR_MGMT_INVALID_STATE' was specified as a macro, but it is in the symbol dictionary.
(I) @LINE: 304
    >>> 'NUM_OF_DRAIN_STATES' was specified as a macro, but it is in the symbol dictionary.
(E) Errors from previous script import(s)
    >>> (I) @LINE: 298
    >>>     >>> 'SW_FAULT_ID_POST_TREATMENT_RESERVOIR_MGMT_INVALID_STATE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 300
    >>>     >>> 'NUM_OF_DRAIN_STATES' was specified as a macro, but it is in the symbol dictionary.
    >>> (E) @LINE: 304 TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DRAIN_FIRST_RESERVOIR_START_STATE"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:NUM_OF_DRAIN_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:MACRO=SW_FAULT_ID_POST_TREATMENT_RESERVOIR_MGMT_INVALID_STATE
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:MACRO=NUM_OF_DRAIN_STATES
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_SWITCH_STATE
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:116
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:1
TEST.END

-- Subprogram: execPostTreatmentMode

-- Test Case: execPostTreatmentMode.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execPostTreatmentMode
TEST.NEW
TEST.NAME:execPostTreatmentMode.001
TEST.STUB:ModePostTreat.handlePostTreatmentDrainReservoirsState
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.VALUE:ModePostTreat.execPostTreatmentMode.return:MACRO=HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.VALUE:ModePostTreat.handlePostTreatmentDrainReservoirsState.return:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.EXPECTED:ModePostTreat.execPostTreatmentMode.return:0
TEST.END

-- Test Case: execPostTreatmentMode.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execPostTreatmentMode
TEST.NEW
TEST.NAME:execPostTreatmentMode.002
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.VALUE:ModePostTreat.execPostTreatmentMode.return:MACRO=HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.EXPECTED:ModePostTreat.execPostTreatmentMode.return:1
TEST.END

-- Test Case: execPostTreatmentMode.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execPostTreatmentMode
TEST.NEW
TEST.NAME:execPostTreatmentMode.003
TEST.STUB:ModePostTreat.handlePostTreatmentDisposableRemovalState
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.VALUE:ModePostTreat.handlePostTreatmentDisposableRemovalState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_VERIFY_STATE
TEST.END

-- Test Case: execPostTreatmentMode.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execPostTreatmentMode
TEST.NEW
TEST.NAME:execPostTreatmentMode.004
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_VERIFY_STATE
TEST.VALUE:ModePostTreat.execPostTreatmentMode.return:MACRO=HD_POST_TREATMENT_VERIFY_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_VERIFY_STATE
TEST.EXPECTED:ModePostTreat.execPostTreatmentMode.return:MACRO=HD_POST_TREATMENT_VERIFY_STATE
TEST.END

-- Test Case: execPostTreatmentMode.005
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execPostTreatmentMode
TEST.NEW
TEST.NAME:execPostTreatmentMode.005
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (5) case currentPostTreatmentState ==> default
      (6) if (++postTreatmentPublishTimerCounter >= getU32OverrideValue(&postTreatmentModePublishInterval)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:NUM_OF_HD_POST_TREATMENT_STATES
TEST.VALUE:ModePostTreat.execPostTreatmentMode.return:MACRO=HD_POST_TREATMENT_VERIFY_STATE
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:115
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:115
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4
TEST.END

-- Test Case: execPostTreatmentMode.006
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execPostTreatmentMode
TEST.NEW
TEST.NAME:execPostTreatmentMode.006
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (5) case currentPostTreatmentState ==> default
      (6) if (++postTreatmentPublishTimerCounter >= getU32OverrideValue(&postTreatmentModePublishInterval)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:NUM_OF_HD_POST_TREATMENT_STATES
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MAX>>
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:NUM_OF_HD_POST_TREATMENT_STATES
TEST.END

-- Subprogram: handleDrainDePrimeDGDialysateLinesState

-- Test Case: handleDrainDePrimeDGDialysateLinesState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainDePrimeDGDialysateLinesState
TEST.NEW
TEST.NAME:handleDrainDePrimeDGDialysateLinesState.001
TEST.BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == drainDGDePrimeActive) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:0
TEST.END

-- Test Case: handleDrainDePrimeDGDialysateLinesState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainDePrimeDGDialysateLinesState
TEST.NEW
TEST.NAME:handleDrainDePrimeDGDialysateLinesState.002
TEST.BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == drainDGDePrimeActive) ==> TRUE
      (4) if ((1) == didTimeout(drainDGDePrimeStarttime, 40 * 1000)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:1
TEST.END

-- Test Case: handleDrainDePrimeDGDialysateLinesState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainDePrimeDGDialysateLinesState
TEST.NEW
TEST.NAME:handleDrainDePrimeDGDialysateLinesState.003
TEST.BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == drainDGDePrimeActive) ==> TRUE
      (4) if ((1) == didTimeout(drainDGDePrimeStarttime, 40 * 1000)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:0
TEST.END

-- Test Case: handleDrainDePrimeDGDialysateLinesState.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainDePrimeDGDialysateLinesState
TEST.NEW
TEST.NAME:handleDrainDePrimeDGDialysateLinesState.004
TEST.BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == drainDGDePrimeActive) ==> FALSE
      (3) if ((1) == drainDGDePrimeActive) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:2
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:2
TEST.END

-- Test Case: handleDrainDePrimeDGDialysateLinesState.005
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainDePrimeDGDialysateLinesState
TEST.NEW
TEST.NAME:handleDrainDePrimeDGDialysateLinesState.005
TEST.BASIS_PATH:5 of 5 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == drainDGDePrimeActive) ==> TRUE
      (3) if ((1) == drainDGDePrimeActive) ==> FALSE
   Test Case Generation Notes:
      Cannot set drainDGDePrimeActive due to assignment
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:0
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:1
TEST.END

-- Test Case: handleDrainDePrimeDGDialysateLinesState.006
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainDePrimeDGDialysateLinesState
TEST.NEW
TEST.NAME:handleDrainDePrimeDGDialysateLinesState.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == drainDGDePrimeActive) ==> FALSE
      (3) if ((1) == drainDGDePrimeActive) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:2
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.drainDGDePrimeActive:2
TEST.END

-- Subprogram: handleDrainReservoirDrainState

-- Test Case: handleDrainReservoirDrainState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirDrainState
TEST.NEW
TEST.NAME:handleDrainReservoirDrainState.001
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((1) == isThisFirstDrain) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:0
TEST.END

-- Test Case: handleDrainReservoirDrainState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirDrainState
TEST.NEW
TEST.NAME:handleDrainReservoirDrainState.002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((1) == isThisFirstDrain) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:0
TEST.END

-- Test Case: handleDrainReservoirDrainState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirDrainState
TEST.NEW
TEST.NAME:handleDrainReservoirDrainState.003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((1) == isThisFirstDrain) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:0
TEST.END

-- Subprogram: handleDrainReservoirStartDrainState

-- Test Case: handleDrainReservoirStartDrainState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirStartDrainState
TEST.NEW
TEST.NAME:handleDrainReservoirStartDrainState.001
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.EXPECTED:ModePostTreat.handleDrainReservoirStartDrainState.return:DRAIN_RESERVOIR_START_DRAIN_STATE
TEST.END

-- Test Case: handleDrainReservoirStartDrainState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirStartDrainState
TEST.NEW
TEST.NAME:handleDrainReservoirStartDrainState.002
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:0
TEST.EXPECTED:ModePostTreat.handleDrainReservoirStartDrainState.return:DRAIN_RESERVOIR_START_DRAIN_STATE
TEST.END

-- Test Case: handleDrainReservoirStartDrainState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirStartDrainState
TEST.NEW
TEST.NAME:handleDrainReservoirStartDrainState.003
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((DG_MODE_DRAI) == getDGOpMode()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_DRAI
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.handleDrainReservoirStartDrainState.return:DRAIN_RESERVOIR_DRAIN_STATE
TEST.END

-- Test Case: handleDrainReservoirStartDrainState.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirStartDrainState
TEST.NEW
TEST.NAME:handleDrainReservoirStartDrainState.004
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.EXPECTED:ModePostTreat.handleDrainReservoirStartDrainState.return:DRAIN_RESERVOIR_START_DRAIN_STATE
TEST.END

-- Test Case: handleDrainReservoirStartDrainState.005
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirStartDrainState
TEST.NEW
TEST.NAME:handleDrainReservoirStartDrainState.005
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.dgCommandSent:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.dgCommandSent:0
TEST.EXPECTED:ModePostTreat.handleDrainReservoirStartDrainState.return:DRAIN_RESERVOIR_START_DRAIN_STATE
TEST.END

-- Test Case: handleDrainReservoirStartDrainState.006
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirStartDrainState
TEST.NEW
TEST.NAME:handleDrainReservoirStartDrainState.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.dgCommandSent:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.dgCommandSent:1
TEST.EXPECTED:ModePostTreat.handleDrainReservoirStartDrainState.return:DRAIN_RESERVOIR_START_DRAIN_STATE
TEST.EXPECTED:uut_prototype_stubs.getDGCommandResponse.commandID:DG_CMD_START_DRAIN
TEST.END

-- Subprogram: handleDrainReservoirSwitchState

-- Test Case: handleDrainReservoirSwitchState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirSwitchState
TEST.NEW
TEST.NAME:handleDrainReservoirSwitchState.001
TEST.BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.handleDrainReservoirSwitchState.return:DRAIN_RESERVOIR_SWITCH_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:0
TEST.EXPECTED:ModePostTreat.handleDrainReservoirSwitchState.return:DRAIN_RESERVOIR_SWITCH_STATE
TEST.END

-- Test Case: handleDrainReservoirSwitchState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirSwitchState
TEST.NEW
TEST.NAME:handleDrainReservoirSwitchState.002
TEST.BASIS_PATH:4 of 5 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((1) == isThisFirstDrain) ==> FALSE
      (3) if ((1) == hasDGCompletedReservoirSwitch()) ==> TRUE
      (4) if ((1) == isThisFirstDrain) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable ModePostTreat.<<GLOBAL>>.isThisFirstDrain 'equal to' and 'not equal to' same value in branches 2/4
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:0
TEST.END

-- Test Case: handleDrainReservoirSwitchState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirSwitchState
TEST.NEW
TEST.NAME:handleDrainReservoirSwitchState.003
TEST.BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((1) == isThisFirstDrain) ==> TRUE
      (3) if ((1) == hasDGCompletedReservoirSwitch()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:1
TEST.END

-- Test Case: handleDrainReservoirSwitchState.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirSwitchState
TEST.NEW
TEST.NAME:handleDrainReservoirSwitchState.004
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((1) == isThisFirstDrain) ==> FALSE
      (3) if ((1) == hasDGCompletedReservoirSwitch()) ==> TRUE
      (4) if ((1) == isThisFirstDrain) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable ModePostTreat.<<GLOBAL>>.isThisFirstDrain 'equal to' and 'not equal to' same value in branches 2/4
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isThisFirstDrain:1
TEST.END

-- Test Case: handleDrainReservoirSwitchState.005
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirSwitchState
TEST.NEW
TEST.NAME:handleDrainReservoirSwitchState.005
TEST.BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == dgCommandSent) ==> FALSE
      (4) if ((1) == getDGCommandResponse(DG_CMD_SWITCH_RESERVOIR, &dgCmdResp)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.dgCommandSent:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.dgCommandSent:1
TEST.END

-- Test Case: handleDrainReservoirSwitchState.006
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainReservoirSwitchState
TEST.NEW
TEST.NAME:handleDrainReservoirSwitchState.006
TEST.BASIS_PATH:3 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if ((0) == dgCommandSent) ==> FALSE
      (4) if ((1) == getDGCommandResponse(DG_CMD_SWITCH_RESERVOIR, &dgCmdResp)) ==> TRUE
      (5) if ((DG_CMD_REQUEST_REJECT_REASON_NONE) == dgCmdResp.rejectCode) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable dgCmdResp in branch 5
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.dgCommandSent:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.dgCommandSent:0
TEST.END

-- Subprogram: handlePostTreatmentDisposableRemovalState

-- Test Case: handlePostTreatmentDisposableRemovalState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentDisposableRemovalState
TEST.NEW
TEST.NAME:handlePostTreatmentDisposableRemovalState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == disposableRemovalConfirmed) ==> 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:ModePostTreat.<<GLOBAL>>.disposableRemovalConfirmed:1
TEST.VALUE:ModePostTreat.handlePostTreatmentDisposableRemovalState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentDisposableRemovalState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.END

-- Test Case: handlePostTreatmentDisposableRemovalState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentDisposableRemovalState
TEST.NEW
TEST.NAME:handlePostTreatmentDisposableRemovalState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == disposableRemovalConfirmed) ==> 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:ModePostTreat.<<GLOBAL>>.disposableRemovalConfirmed:<<MIN>>
TEST.VALUE:ModePostTreat.handlePostTreatmentDisposableRemovalState.return:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentDisposableRemovalState.return:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.END

-- Subprogram: handlePostTreatmentDrainReservoirsState

-- Test Case: handlePostTreatmentDrainReservoirsState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentDrainReservoirsState
TEST.NEW
TEST.NAME:handlePostTreatmentDrainReservoirsState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 787 TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_COMPLETE_STATE
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DRAIN_COMPLETE_STATE"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DRAIN_COMPLETE_STATE) == currentDrainReservoirState) ==> 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:ModePostTreat.handlePostTreatmentDrainReservoirsState.return:HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentDrainReservoirsState.return:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.END

-- Test Case: handlePostTreatmentDrainReservoirsState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentDrainReservoirsState
TEST.NEW
TEST.NAME:handlePostTreatmentDrainReservoirsState.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 806 TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DRAIN_FIRST_RESERVOIR_START_STATE"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DRAIN_COMPLETE_STATE) == currentDrainReservoirState) ==> 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:ModePostTreat.handlePostTreatmentDrainReservoirsState.return:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentDrainReservoirsState.return:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.END

-- Test Case: handlePostTreatmentDrainReservoirsState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentDrainReservoirsState
TEST.NEW
TEST.NAME:handlePostTreatmentDrainReservoirsState.003
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DRAIN_RESERVOIR_COMPLETE_STATE) == currentDrainReservoirState) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_COMPLETE_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_COMPLETE_STATE
TEST.END

-- Subprogram: handlePostTreatmentPatientDisconnectionState

-- Test Case: handlePostTreatmentPatientDisconnectionState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentPatientDisconnectionState
TEST.NEW
TEST.NAME:handlePostTreatmentPatientDisconnectionState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 833 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.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> TRUE
      (2) if ((1) == patientDisconnectionConfirmed) ==> TRUE
      (3) for (valve < (NUM_OF_VALVES)) ==> FALSE
      (4) if (bolusVol > (0.0) || hepRate > (0.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.patientDisconnectionConfirmed:1
TEST.VALUE:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.0,1.0
TEST.EXPECTED:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.END

-- Test Case: handlePostTreatmentPatientDisconnectionState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentPatientDisconnectionState
TEST.NEW
TEST.NAME:handlePostTreatmentPatientDisconnectionState.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 853 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 9
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.VALUE:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.END

-- Test Case: handlePostTreatmentPatientDisconnectionState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentPatientDisconnectionState
TEST.NEW
TEST.NAME:handlePostTreatmentPatientDisconnectionState.003
TEST.BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((STATE_CLOSED) == frontDoor && (STATE_CLOSED) == pumpTrack) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN
TEST.EXPECTED:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.END

-- Test Case: handlePostTreatmentPatientDisconnectionState.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentPatientDisconnectionState
TEST.NEW
TEST.NAME:handlePostTreatmentPatientDisconnectionState.004
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 893 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:4 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> TRUE
      (2) if ((1) == patientDisconnectionConfirmed) ==> 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:ModePostTreat.<<GLOBAL>>.patientDisconnectionConfirmed:1
TEST.VALUE:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.END

-- Test Case: handlePostTreatmentPatientDisconnectionState.005
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentPatientDisconnectionState
TEST.NEW
TEST.NAME:handlePostTreatmentPatientDisconnectionState.005
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 919 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:8 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> TRUE
      (2) if ((1) == patientDisconnectionConfirmed) ==> TRUE
      (3) for (valve < (NUM_OF_VALVES)) ==> FALSE
      (4) if (bolusVol > (0.0) || hepRate > (0.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #4, 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 4
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.patientDisconnectionConfirmed:1
TEST.VALUE:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MAX>>
TEST.EXPECTED:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.END

-- Test Case: handlePostTreatmentPatientDisconnectionState.006
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentPatientDisconnectionState
TEST.NEW
TEST.NAME:handlePostTreatmentPatientDisconnectionState.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH
TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED,STATE_OPEN
TEST.EXPECTED:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH
TEST.END

-- Subprogram: handlePostTreatmentVerifyState

-- Test Case: handlePostTreatmentVerifyState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentVerifyState
TEST.NEW
TEST.NAME:handlePostTreatmentVerifyState.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 941 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 9
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.VALUE:ModePostTreat.handlePostTreatmentVerifyState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentVerifyState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.END

-- Test Case: handlePostTreatmentVerifyState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentVerifyState
TEST.NEW
TEST.NAME:handlePostTreatmentVerifyState.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 960 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN
    >>>     >>> Could not find function getFPGADoorState
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.handlePostTreatmentVerifyState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentVerifyState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.END

-- Test Case: handlePostTreatmentVerifyState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentVerifyState
TEST.NEW
TEST.NAME:handlePostTreatmentVerifyState.003
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 980 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:3 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> TRUE
      (2) if ((0) == isCartridgeRemoved) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.handlePostTreatmentVerifyState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.VALUE:uut_prototype_stubs.isCartridgeUnloaded.return:1
TEST.EXPECTED:ModePostTreat.handlePostTreatmentVerifyState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.END

-- Test Case: handlePostTreatmentVerifyState.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentVerifyState
TEST.NEW
TEST.NAME:handlePostTreatmentVerifyState.004
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1002 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:6 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> TRUE
      (2) if ((0) == isCartridgeRemoved) ==> FALSE
      (3) if ((1) == isSyringeDetected()) ==> 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:ModePostTreat.handlePostTreatmentVerifyState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.VALUE:uut_prototype_stubs.isCartridgeUnloaded.return:1
TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:1
TEST.EXPECTED:ModePostTreat.handlePostTreatmentVerifyState.return:HD_POST_TREATMENT_VERIFY_STATE
TEST.END

-- Subprogram: initPostTreatmentMode

-- Test Case: initPostTreatmentMode.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:initPostTreatmentMode
TEST.NEW
TEST.NAME:initPostTreatmentMode.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1017 TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainStarted:0
    >>>     >>> Unknown parameter/object name isDrainStarted
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1018 TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainCompleted:0
    >>>     >>> Unknown parameter/object name isDrainCompleted
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1021 TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DRAIN_FIRST_RESERVOIR_START_STATE"
    >>>     >>>   Command Ignored
    >>> (E) @LINE: 1025 TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isDrainStarted:0
    >>>     >>> Unknown parameter/object name isDrainStarted
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1026 TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isDrainCompleted:0
    >>>     >>> Unknown parameter/object name isDrainCompleted
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1029 TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DRAIN_FIRST_RESERVOIR_START_STATE"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.patientDisconnectionConfirmed:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.disposableRemovalConfirmed:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.rinseConcentrateLines:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.VALUE:ModePostTreat.<<GLOBAL>>.postTreatmentPublishTimerCounter:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.patientDisconnectionConfirmed:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.disposableRemovalConfirmed:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.rinseConcentrateLines:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.postTreatmentPublishTimerCounter:0
TEST.END

-- Subprogram: sendTreatmentLogDataToUI

-- Test Case: sendTreatmentLogDataToUI.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:sendTreatmentLogDataToUI
TEST.NEW
TEST.NAME:sendTreatmentLogDataToUI.001
TEST.VALUE:uut_prototype_stubs.sendTreatmentLogData.accepted:1
TEST.VALUE:uut_prototype_stubs.sendTreatmentLogData.reason:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentLogData.return:1
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogData.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentLogData.reason:0
TEST.END

-- Subprogram: signalAlarmActionToPostTreatmentMode

-- Test Case: signalAlarmActionToPostTreatmentMode.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:signalAlarmActionToPostTreatmentMode
TEST.NEW
TEST.NAME:signalAlarmActionToPostTreatmentMode.001
TEST.VALUE:ModePostTreat.signalAlarmActionToPostTreatmentMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:ModePostTreat.signalAlarmActionToPostTreatmentMode.action:ALARM_ACTION_STOP
TEST.END

-- Subprogram: signalUserConfirmDisposableRemoval

-- Test Case: signalUserConfirmDisposableRemoval.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:signalUserConfirmDisposableRemoval
TEST.NEW
TEST.NAME:signalUserConfirmDisposableRemoval.001
TEST.IMPORT_FAILURES:
(I) @LINE: 1136
    >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
(E) Errors from previous script import(s)
    >>> (I) @LINE: 1130
    >>>     >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1182
    >>>     >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1156
    >>>     >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1115
    >>>     >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1099
    >>>     >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1099
    >>>     >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1091
    >>>     >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
    >>> (E) @LINE: 1125 TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_COMPLETE_STATE
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DRAIN_COMPLETE_STATE"
    >>>     >>>   Command Ignored
    >>> (I) @LINE: 1127
    >>>     >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1129
    >>>     >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary.
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DRAIN_COMPLETE_STATE) == currentDrainReservoirState) ==> 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.sendDisposableRemovalConfirmResponse.accepted:1
TEST.VALUE:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.reason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.EXPECTED:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.accepted:0
TEST.END

-- Test Case: signalUserConfirmDisposableRemoval.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:signalUserConfirmDisposableRemoval
TEST.NEW
TEST.NAME:signalUserConfirmDisposableRemoval.002
TEST.IMPORT_FAILURES:
(I) @LINE: 1194
    >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
(I) @LINE: 1196
    >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
(E) Errors from previous script import(s)
    >>> (I) @LINE: 1184
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1186
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1232
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1234
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1202
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1204
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1157
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1159
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1137
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1139
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1133
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1135
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1120
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1122
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (E) @LINE: 1146 TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "DRAIN_FIRST_RESERVOIR_START_STATE"
    >>>     >>>   Command Ignored
    >>> (I) @LINE: 1148
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
    >>> (I) @LINE: 1150
    >>>     >>> 'REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE' was specified as a macro, but it is in the symbol dictionary.
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DRAIN_COMPLETE_STATE) == currentDrainReservoirState) ==> 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.sendDisposableRemovalConfirmResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.reason:MACRO=REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE
TEST.EXPECTED:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.reason:MACRO=REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE
TEST.END

-- Test Case: signalUserConfirmDisposableRemoval.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:signalUserConfirmDisposableRemoval
TEST.NEW
TEST.NAME:signalUserConfirmDisposableRemoval.003
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DRAIN_RESERVOIR_COMPLETE_STATE) == currentDrainReservoirState) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_COMPLETE_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_RESERVOIR_COMPLETE_STATE
TEST.END

-- Subprogram: signalUserConfirmPatientDisconnection

-- Test Case: signalUserConfirmPatientDisconnection.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:signalUserConfirmPatientDisconnection
TEST.NEW
TEST.NAME:signalUserConfirmPatientDisconnection.001
TEST.VALUE:ModePostTreat.<<GLOBAL>>.patientDisconnectionConfirmed:1
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.patientDisconnectionConfirmed:1
TEST.END

-- Subprogram: testResetPostTreatmentModePublishIntervalOverride

-- Test Case: testResetPostTreatmentModePublishIntervalOverride.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:testResetPostTreatmentModePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetPostTreatmentModePublishIntervalOverride.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> 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:ModePostTreat.testResetPostTreatmentModePublishIntervalOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:ModePostTreat.testResetPostTreatmentModePublishIntervalOverride.return:1
TEST.END

-- Test Case: testResetPostTreatmentModePublishIntervalOverride.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:testResetPostTreatmentModePublishIntervalOverride
TEST.NEW
TEST.NAME:testResetPostTreatmentModePublishIntervalOverride.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> 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:ModePostTreat.testResetPostTreatmentModePublishIntervalOverride.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.testResetPostTreatmentModePublishIntervalOverride.return:0
TEST.END

-- Subprogram: testSetPostTreatmentModePublishIntervalOverride

-- Test Case: testSetPostTreatmentModePublishIntervalOverride.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:testSetPostTreatmentModePublishIntervalOverride
TEST.NEW
TEST.NAME:testSetPostTreatmentModePublishIntervalOverride.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> 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:ModePostTreat.testSetPostTreatmentModePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:ModePostTreat.testSetPostTreatmentModePublishIntervalOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:ModePostTreat.testSetPostTreatmentModePublishIntervalOverride.return:1
TEST.END

-- Test Case: testSetPostTreatmentModePublishIntervalOverride.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:testSetPostTreatmentModePublishIntervalOverride
TEST.NEW
TEST.NAME:testSetPostTreatmentModePublishIntervalOverride.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> 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:ModePostTreat.testSetPostTreatmentModePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:ModePostTreat.testSetPostTreatmentModePublishIntervalOverride.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.testSetPostTreatmentModePublishIntervalOverride.return:0
TEST.END

-- Subprogram: transitionToPostTreatmentMode

-- Test Case: transitionToPostTreatmentMode.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:transitionToPostTreatmentMode
TEST.NEW
TEST.NAME:transitionToPostTreatmentMode.001
TEST.VALUE:ModePostTreat.transitionToPostTreatmentMode.return:0
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0
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.EXPECTED:ModePostTreat.transitionToPostTreatmentMode.return:0
TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END