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

-- Subprogram: checkDGDataFreshness

-- Test Case: checkDGDataFreshness.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGDataFreshness
TEST.NEW
TEST.NAME:checkDGDataFreshness.001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) if ((1) == *dgFreshDataFlag) ==> FALSE
(2) if ((1) == isDGCommunicating()) ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.checkDGDataFreshness.alarmID:<<MIN>>
TEST.VALUE:DGInterface.checkDGDataFreshness.dgFreshDataFlag:<<malloc 1>>
TEST.VALUE:DGInterface.checkDGDataFreshness.dgFreshDataFlag[0]:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:<<MIN>>
TEST.EXPECTED:DGInterface.checkDGDataFreshness.alarmID:ALARM_ID_NO_ALARM
TEST.EXPECTED:DGInterface.checkDGDataFreshness.dgFreshDataFlag[0]:0
TEST.END

-- Test Case: checkDGDataFreshness.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGDataFreshness
TEST.NEW
TEST.NAME:checkDGDataFreshness.002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if ((1) == *dgFreshDataFlag) ==> FALSE
(2) if ((1) == isDGCommunicating()) ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.checkDGDataFreshness.alarmID:<<MIN>>
TEST.VALUE:DGInterface.checkDGDataFreshness.dgFreshDataFlag:<<malloc 1>>
TEST.VALUE:DGInterface.checkDGDataFreshness.dgFreshDataFlag[0]:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.EXPECTED:DGInterface.checkDGDataFreshness.alarmID:ALARM_ID_NO_ALARM
TEST.EXPECTED:DGInterface.checkDGDataFreshness.dgFreshDataFlag[0]:0
TEST.END

-- Test Case: checkDGDataFreshness.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGDataFreshness
TEST.NEW
TEST.NAME:checkDGDataFreshness.003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
Test Path 3
(1) if ((1) == *dgFreshDataFlag) ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.checkDGDataFreshness.alarmID:<<MIN>>
TEST.VALUE:DGInterface.checkDGDataFreshness.dgFreshDataFlag:<<malloc 1>>
TEST.VALUE:DGInterface.checkDGDataFreshness.dgFreshDataFlag[0]:1
TEST.EXPECTED:DGInterface.checkDGDataFreshness.alarmID:ALARM_ID_NO_ALARM
TEST.EXPECTED:DGInterface.checkDGDataFreshness.dgFreshDataFlag[0]:0
TEST.END

-- Subprogram: checkDGRestart

-- Test Case: checkDGRestart.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:checkDGRestart.001
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FILL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: checkDGRestart.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:checkDGRestart.002
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> TRUE
      (3) if ((((DG_MODE_FAUL) != dgCurrentOpMode && (DG_MODE_GENE) != dgCurrentOpMode) && (DG_MODE_FILL) != dgCurrentOpMode) && (DG_MODE_DRAI) != dgCurrentOpMode) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FAUL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FAUL
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStartCommandSent:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: checkDGRestart.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:checkDGRestart.003
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> TRUE
      (3) if ((((DG_MODE_FAUL) != dgCurrentOpMode && (DG_MODE_GENE) != dgCurrentOpMode) && (DG_MODE_FILL) != dgCurrentOpMode) && (DG_MODE_DRAI) != dgCurrentOpMode) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_SERV
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_SERV
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStartCommandSent:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Test Case: checkDGRestart.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:checkDGRestart.004
TEST.BASIS_PATH:4 of 4 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> TRUE
      (2) if ((1) == dgStarted) ==> FALSE
   Test Case Generation Notes:
      Cannot set dgStarted due to assignment
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_GENE
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_GENE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStartCommandSent:0
TEST.END

-- Test Case: checkDGRestart.005
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:checkDGRestart.005
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> TRUE
      (2) if ((1) == dgStarted) ==> FALSE
   Test Case Generation Notes:
      Cannot set dgStarted due to assignment
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FAUL
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_FAUL
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStartCommandSent:1
TEST.END

-- Test Case: checkDGRestart.006
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGRestart
TEST.NEW
TEST.NAME:checkDGRestart.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (dgStartCommandSent == (1) && (DG_MODE_GENE) == dgCurrentOpMode) ==> FALSE
      (2) if ((1) == dgStarted) ==> TRUE
      (3) if ((((DG_MODE_FAUL) != dgCurrentOpMode && (DG_MODE_GENE) != dgCurrentOpMode) && (DG_MODE_FILL) != dgCurrentOpMode) && (DG_MODE_DRAI) != dgCurrentOpMode) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_DRAI
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStartCommandSent:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_DRAI
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStartCommandSent:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.END

-- Subprogram: checkDGTrimmerHeaterStatus

-- Test Case: checkDGTrimmerHeaterStatus
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGTrimmerHeaterStatus
TEST.NEW
TEST.NAME:checkDGTrimmerHeaterStatus
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.END

-- Test Case: checkDGTrimmerHeaterStatus.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGTrimmerHeaterStatus
TEST.NEW
TEST.NAME:checkDGTrimmerHeaterStatus.001
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_FILL
TEST.END

-- Test Case: checkDGTrimmerHeaterStatus.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGTrimmerHeaterStatus
TEST.NEW
TEST.NAME:checkDGTrimmerHeaterStatus.002
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_DRAI
TEST.END

-- Test Case: checkDGTrimmerHeaterStatus.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGTrimmerHeaterStatus
TEST.NEW
TEST.NAME:checkDGTrimmerHeaterStatus.003
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgHeatersData.trimmerHeaterState:MACRO=HEATER_EXEC_STATE_OFF
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgHeatersData.trimmerHeaterState:MACRO=HEATER_EXEC_STATE_OFF
TEST.END

-- Test Case: checkDGTrimmerHeaterStatus.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGTrimmerHeaterStatus
TEST.NEW
TEST.NAME:checkDGTrimmerHeaterStatus.004
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgHeatersData.trimmerHeaterState:1
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgHeatersData.trimmerHeaterState:1
TEST.END

-- Test Case: checkDGTrimmerHeaterStatus.005
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGTrimmerHeaterStatus
TEST.NEW
TEST.NAME:checkDGTrimmerHeaterStatus.005
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgHeatersData.trimmerHeaterState:1
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgHeatersData.trimmerHeaterState:1
TEST.END

-- Test Case: checkDGTrimmerHeaterStatus.006
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGTrimmerHeaterStatus
TEST.NEW
TEST.NAME:checkDGTrimmerHeaterStatus.006
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_FAUL
TEST.END

-- Test Case: checkDGTrimmerHeaterStatus.007
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDGTrimmerHeaterStatus
TEST.NEW
TEST.NAME:checkDGTrimmerHeaterStatus.007
TEST.STUB:DGInterface.getDGOpMode
TEST.VALUE:DGInterface.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.isACPowerLost.return:1
TEST.END

-- Subprogram: checkDialysateTemperature

-- Test Case: checkDialysateTemperature.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:checkDialysateTemperature.001
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:43.0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerTempSet:42.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateTemp:43.0
TEST.END

-- Test Case: checkDialysateTemperature.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:checkDialysateTemperature.002
TEST.BASIS_PATH:1 of 5 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (dgDialysateTemp >= (46.0F)) ==> FALSE
      (2) if (dgDialysateTemp >= (42.0F)) ==> FALSE
      (3) if (TDiHigh >= dgDialysateTemp) ==> FALSE
      (4) if (TDiLow >= dgDialysateTemp) ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable DGInterface.<<GLOBAL>>.dgDialysateTemp 'less than' and 'greater than' same value in branches 2/3
      Conflict: Trying to set variable DGInterface.<<GLOBAL>>.dgDialysateTemp 'less than' and 'greater than' same value in branches 2/4
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MIN>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateTemp:-3.40282E+38
TEST.END

-- Test Case: checkDialysateTemperature.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:checkDialysateTemperature.003
TEST.BASIS_PATH:2 of 5 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (dgDialysateTemp >= (46.0F)) ==> FALSE
      (2) if (dgDialysateTemp >= (42.0F)) ==> FALSE
      (3) if (TDiHigh >= dgDialysateTemp) ==> FALSE
      (4) if (TDiLow >= dgDialysateTemp) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable DGInterface.<<GLOBAL>>.dgDialysateTemp 'less than' and 'greater than' same value in branches 2/3
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MIN>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateTemp:-3.40282E+38
TEST.END

-- Test Case: checkDialysateTemperature.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:checkDialysateTemperature.004
TEST.BASIS_PATH:3 of 5 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (dgDialysateTemp >= (46.0F)) ==> FALSE
      (2) if (dgDialysateTemp >= (42.0F)) ==> FALSE
      (3) if (TDiHigh >= dgDialysateTemp) ==> TRUE
      (4) if (TDiLow >= dgDialysateTemp) ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable DGInterface.<<GLOBAL>>.dgDialysateTemp 'less than' and 'greater than' same value in branches 2/4
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MIN>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateTemp:-3.40282E+38
TEST.END

-- Test Case: checkDialysateTemperature.005
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:checkDialysateTemperature.005
TEST.BASIS_PATH:4 of 5 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (dgDialysateTemp >= (46.0F)) ==> FALSE
      (2) if (dgDialysateTemp >= (42.0F)) ==> TRUE
      (3) if (TDiHigh >= dgDialysateTemp) ==> FALSE
      (4) if (TDiLow >= dgDialysateTemp) ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( DGInterface.<<GLOBAL>>.dgDialysateTemp ) in branches 1/2
      Conflict: Trying to set variable DGInterface.<<GLOBAL>>.dgDialysateTemp 'less than' and 'greater than' same value in branches 1/3
      Conflict: Trying to set variable DGInterface.<<GLOBAL>>.dgDialysateTemp 'less than' and 'greater than' same value in branches 1/4
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MIN>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateTemp:-3.40282E+38
TEST.END

-- Test Case: checkDialysateTemperature.006
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:checkDialysateTemperature
TEST.NEW
TEST.NAME:checkDialysateTemperature.006
TEST.BASIS_PATH:5 of 5 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (dgDialysateTemp >= (46.0F)) ==> TRUE
      (2) if (dgDialysateTemp >= (42.0F)) ==> FALSE
      (3) if (TDiHigh >= dgDialysateTemp) ==> FALSE
      (4) if (TDiLow >= dgDialysateTemp) ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( DGInterface.<<GLOBAL>>.dgDialysateTemp ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:<<MAX>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateTemp:3.40282E+38
TEST.END

-- Subprogram: cmdChangeDGValveSetting

-- Test Case: cmdChangeDGValveSetting.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdChangeDGValveSetting
TEST.NEW
TEST.NAME:cmdChangeDGValveSetting.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if (valveSettingID < (NUM_OF_DG_VALVE_SETTTINGS)) ==> 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:DGInterface.cmdChangeDGValveSetting.valveSettingID:<<MIN>>
TEST.EXPECTED:DGInterface.cmdChangeDGValveSetting.valveSettingID:DG_VALVE_SETTING_R1_TO_R2
TEST.END

-- Test Case: cmdChangeDGValveSetting.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdChangeDGValveSetting
TEST.NEW
TEST.NAME:cmdChangeDGValveSetting.002
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (valveSettingID < (NUM_OF_DG_VALVE_SETTTINGS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.cmdChangeDGValveSetting.valveSettingID:<<MAX>>
TEST.EXPECTED:DGInterface.cmdChangeDGValveSetting.valveSettingID:NUM_OF_DG_VALVE_SETTTINGS
TEST.END

-- Test Case: cmdChangeDGValveSetting.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdChangeDGValveSetting
TEST.NEW
TEST.NAME:cmdChangeDGValveSetting.003
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (valveSettingID < (NUM_OF_DG_VALVE_SETTTINGS)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.cmdChangeDGValveSetting.valveSettingID:<<MIN>>
TEST.EXPECTED:DGInterface.cmdChangeDGValveSetting.valveSettingID:DG_VALVE_SETTING_R1_TO_R2
TEST.END

-- Subprogram: cmdDGSampleWater

-- Test Case: cmdDGSampleWater
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdDGSampleWater
TEST.NEW
TEST.NAME:cmdDGSampleWater
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 25 TEST.VALUE:DGInterface.<<GLOBAL>>.dgWaterSampled:0
>>>     >>> Unknown parameter/object name dgWaterSampled
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 27 TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgWaterSampled:1
>>>     >>> Unknown parameter/object name dgWaterSampled
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:uut_prototype_stubs.sendDGSampleWaterCommand.cmd:SAMPLE_WATER_CMD_STOP
TEST.VALUE:uut_prototype_stubs.sendDGSampleWaterCommand.return:1
TEST.EXPECTED:uut_prototype_stubs.sendDGSampleWaterCommand.cmd:SAMPLE_WATER_CMD_STOP
TEST.END

-- Subprogram: cmdRequestDGMixingRatios

-- Test Case: cmdRequestDGMixingRatios
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdRequestDGMixingRatios
TEST.NEW
TEST.NAME:cmdRequestDGMixingRatios
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_REQUEST_CONC_MIXING_RATIOS].commandID:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_REQUEST_CONC_MIXING_RATIOS].commandID:0
TEST.END

-- Subprogram: cmdSetDGActiveReservoir

-- Test Case: cmdSetDGActiveReservoir.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdSetDGActiveReservoir
TEST.NEW
TEST.NAME:cmdSetDGActiveReservoir.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.cmdSetDGActiveReservoir.cmd:<<malloc 1>>
TEST.VALUE:DGInterface.cmdSetDGActiveReservoir.cmd[0].reservoirID:<<MAX>>
TEST.EXPECTED:DGInterface.cmdSetDGActiveReservoir.cmd[0].reservoirID:4294967295
TEST.END

-- Test Case: cmdSetDGActiveReservoir.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdSetDGActiveReservoir
TEST.NEW
TEST.NAME:cmdSetDGActiveReservoir.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.cmdSetDGActiveReservoir.cmd:<<malloc 1>>
TEST.VALUE:DGInterface.cmdSetDGActiveReservoir.cmd[0].reservoirID:<<MIN>>
TEST.EXPECTED:DGInterface.cmdSetDGActiveReservoir.cmd[0].reservoirID:0
TEST.END

-- Subprogram: cmdSetDGDialysateHeatingParams

-- Test Case: cmdSetDGDialysateHeatingParams
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdSetDGDialysateHeatingParams
TEST.NEW
TEST.NAME:cmdSetDGDialysateHeatingParams
TEST.EXPECTED:DGInterface.cmdSetDGDialysateHeatingParams.heatingParams.trimmerTargetTemperature:0.0
TEST.EXPECTED:DGInterface.cmdSetDGDialysateHeatingParams.heatingParams.timeReservoirCycleMS:0
TEST.EXPECTED:DGInterface.cmdSetDGDialysateHeatingParams.heatingParams.timeReservoirFillMS:0.0
TEST.EXPECTED:DGInterface.cmdSetDGDialysateHeatingParams.heatingParams.timeReservoirWait2SwitchMS:0
TEST.EXPECTED:DGInterface.cmdSetDGDialysateHeatingParams.heatingParams.dialysateFlowLPM:0.0
TEST.END

-- Subprogram: cmdSetDGToServiceMode

-- Test Case: cmdSetDGToServiceMode.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdSetDGToServiceMode
TEST.NEW
TEST.NAME:cmdSetDGToServiceMode.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.sendDGServiceModeRequest.return:1
TEST.END

-- Subprogram: cmdStartDG

-- Test Case: cmdStartDG
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDG
TEST.NEW
TEST.NAME:cmdStartDG
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:0
TEST.VALUE:uut_prototype_stubs.sendDGStartStopCommand.return:1
TEST.EXPECTED:uut_prototype_stubs.sendDGStartStopCommand.start:1
TEST.END

-- Subprogram: cmdStartDGChememicalFlushDisinfect

-- Test Case: cmdStartDGChememicalFlushDisinfect.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGChememicalFlushDisinfect
TEST.NEW
TEST.NAME:cmdStartDGChememicalFlushDisinfect.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.sendDGStartChemicalDisinfectFlushModeCommand.return:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_START_CHEM_DISINFECT_FLUSH].commandID:0
TEST.EXPECTED:uut_prototype_stubs.sendDGStartChemicalDisinfectFlushModeCommand.start:1
TEST.END

-- Subprogram: cmdStartDGChemicalDisinfect

-- Test Case: cmdStartDGChemicalDisinfect
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGChemicalDisinfect
TEST.NEW
TEST.NAME:cmdStartDGChemicalDisinfect
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_START_CHEM_DISINFECT].commandID:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_START_CHEM_DISINFECT].commandID:0
TEST.END

-- Subprogram: cmdStartDGDrain

-- Test Case: cmdStartDGDrain
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGDrain
TEST.NEW
TEST.NAME:cmdStartDGDrain
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 96 TEST.EXPECTED:uut_prototype_stubs.sendDGDrainCommand.drainToVolumeMl:100
>>>     >>> Unknown parameter/object name drainToVolumeMl
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:0
TEST.VALUE:DGInterface.cmdStartDGDrain.drainToVolMl:100
TEST.VALUE:uut_prototype_stubs.sendDGDrainCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:100
TEST.END

-- Subprogram: cmdStartDGFill

-- Test Case: cmdStartDGFill
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGFill
TEST.NEW
TEST.NAME:cmdStartDGFill
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:0
TEST.VALUE:DGInterface.cmdStartDGFill.fillToVolMl:1700
TEST.VALUE:uut_prototype_stubs.sendDGFillCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:1700
TEST.EXPECTED:uut_prototype_stubs.sendDGFillCommand.fillToVolumeMl:1700
TEST.END

-- Subprogram: cmdStartDGFlush

-- Test Case: cmdStartDGFlush
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGFlush
TEST.NEW
TEST.NAME:cmdStartDGFlush
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_START_FLUSH].commandID:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_START_FLUSH].commandID:0
TEST.END

-- Subprogram: cmdStartDGHeatDisinfect

-- Test Case: cmdStartDGHeatDisinfect
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGHeatDisinfect
TEST.NEW
TEST.NAME:cmdStartDGHeatDisinfect
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_START_HEAT_DISINFECT].commandID:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_START_HEAT_DISINFECT].commandID:0
TEST.END

-- Subprogram: cmdStartDGTrimmerHeater

-- Test Case: cmdStartDGTrimmerHeater
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStartDGTrimmerHeater
TEST.NEW
TEST.NAME:cmdStartDGTrimmerHeater
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:0
TEST.VALUE:uut_prototype_stubs.sendDGStartStopTrimmerHeaterCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.EXPECTED:uut_prototype_stubs.sendDGStartStopTrimmerHeaterCommand.start:1
TEST.END

-- Subprogram: cmdStopDG

-- Test Case: cmdStopDG
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDG
TEST.NEW
TEST.NAME:cmdStopDG
TEST.VALUE:DGInterface.<<GLOBAL>>.dgStarted:1
TEST.VALUE:uut_prototype_stubs.sendDGStartStopCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:0
TEST.EXPECTED:uut_prototype_stubs.sendDGStartStopCommand.start:0
TEST.END

-- Subprogram: cmdStopDGChemFlushDisinfect

-- Test Case: cmdStopDGChemFlushDisinfect.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGChemFlushDisinfect
TEST.NEW
TEST.NAME:cmdStopDGChemFlushDisinfect.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.sendDGStartChemicalDisinfectFlushModeCommand.return:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_STOP_CHEM_DISINFECT_FLUSH].commandID:MACRO=DG_CMD_NONE
TEST.EXPECTED:uut_prototype_stubs.sendDGStartChemicalDisinfectFlushModeCommand.start:0
TEST.END

-- Subprogram: cmdStopDGChemicalDisinfect

-- Test Case: cmdStopDGChemicalDisinfect
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGChemicalDisinfect
TEST.NEW
TEST.NAME:cmdStopDGChemicalDisinfect
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_STOP_CHEM_DISINFECT].commandID:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_STOP_CHEM_DISINFECT].commandID:0
TEST.END

-- Subprogram: cmdStopDGFill

-- Test Case: cmdStopDGFill
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGFill
TEST.NEW
TEST.NAME:cmdStopDGFill
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:0
TEST.END

-- Subprogram: cmdStopDGFlush

-- Test Case: cmdStopDGFlush
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGFlush
TEST.NEW
TEST.NAME:cmdStopDGFlush
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_STOP_FLUSH].commandID:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_STOP_FLUSH].commandID:0
TEST.END

-- Subprogram: cmdStopDGHeatDisinfect

-- Test Case: cmdStopDGHeatDisinfect
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGHeatDisinfect
TEST.NEW
TEST.NAME:cmdStopDGHeatDisinfect
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_STOP_HEAT_DISINFECT].commandID:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_STOP_HEAT_DISINFECT].commandID:0
TEST.END

-- Subprogram: cmdStopDGTrimmerHeater

-- Test Case: cmdStopDGTrimmerHeater
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:cmdStopDGTrimmerHeater
TEST.NEW
TEST.NAME:cmdStopDGTrimmerHeater
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:1
TEST.VALUE:uut_prototype_stubs.sendDGStartStopTrimmerHeaterCommand.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:0
TEST.EXPECTED:uut_prototype_stubs.sendDGStartStopTrimmerHeaterCommand.start:0
TEST.END

-- Subprogram: execDGInterfaceMonitor

-- Test Case: execDGInterfaceMonitor
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execDGInterfaceMonitor
TEST.NEW
TEST.NAME:execDGInterfaceMonitor
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:0
TEST.END

-- Test Case: execDGInterfaceMonitor.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execDGInterfaceMonitor
TEST.NEW
TEST.NAME:execDGInterfaceMonitor.001
TEST.VALUE:uut_prototype_stubs.isACPowerLost.return:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:0
TEST.END

-- Test Case: execDGInterfaceMonitor.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:execDGInterfaceMonitor
TEST.NEW
TEST.NAME:execDGInterfaceMonitor.002
TEST.STUB:DGInterface.checkDGTrimmerHeaterStatus
TEST.VALUE:DGInterface.<<GLOBAL>>.dgTrimmerTempCheckTimerCtr:22
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerTempCheckTimerCtr:0
TEST.END

-- Subprogram: getDGActiveReservoir

-- Test Case: getDGActiveReservoir
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGActiveReservoir
TEST.NEW
TEST.NAME:getDGActiveReservoir
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.EXPECTED:DGInterface.getDGActiveReservoir.return:DG_RESERVOIR_2
TEST.END

-- Subprogram: getDGCommandResponse

-- Test Case: getDGCommandResponse.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGCommandResponse
TEST.NEW
TEST.NAME:getDGCommandResponse.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if (commandID == (dgCmdResp[commandID]).commandID) ==> 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:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_NONE].commandID:<<MIN>>
TEST.VALUE:DGInterface.getDGCommandResponse.commandID:<<MIN>>
TEST.VALUE:DGInterface.getDGCommandResponse.cmdRespPtr:<<malloc 1>>
TEST.EXPECTED:DGInterface.getDGCommandResponse.return:1
TEST.END

-- Test Case: getDGCommandResponse.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGCommandResponse
TEST.NEW
TEST.NAME:getDGCommandResponse.002
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (commandID == (dgCmdResp[commandID]).commandID) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_NONE].commandID:1
TEST.VALUE:DGInterface.getDGCommandResponse.commandID:<<MIN>>
TEST.VALUE:DGInterface.getDGCommandResponse.cmdRespPtr:<<malloc 1>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_NONE].commandID:1
TEST.EXPECTED:DGInterface.getDGCommandResponse.commandID:0
TEST.END

-- Test Case: getDGCommandResponse.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGCommandResponse
TEST.NEW
TEST.NAME:getDGCommandResponse.003
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (commandID == (dgCmdResp[commandID]).commandID) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_NONE].commandID:<<MIN>>
TEST.VALUE:DGInterface.getDGCommandResponse.commandID:<<MIN>>
TEST.VALUE:DGInterface.getDGCommandResponse.cmdRespPtr:<<malloc 1>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_NONE].commandID:0
TEST.EXPECTED:DGInterface.getDGCommandResponse.commandID:0
TEST.END

-- Subprogram: getDGDialysateFlowRateLMin

-- Test Case: getDGDialysateFlowRateLMin
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGDialysateFlowRateLMin
TEST.NEW
TEST.NAME:getDGDialysateFlowRateLMin
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 788 TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateFlowRateMlMin:1.0
    >>>     >>> Unknown parameter/object name dgDialysateFlowRateMlMin
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateFlowRateLMin:1.1
TEST.EXPECTED:DGInterface.getDGDialysateFlowRateLMin.return:1.1
TEST.END

-- Subprogram: getDGDisinfectsStates

-- Test Case: getDGDisinfectsStates
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGDisinfectsStates
TEST.NEW
TEST.NAME:getDGDisinfectsStates
TEST.EXPECTED:DGInterface.getDGDisinfectsStates.return.chemDisinfectUIState:0
TEST.EXPECTED:DGInterface.getDGDisinfectsStates.return.heatDisinfectUIState:0
TEST.EXPECTED:DGInterface.getDGDisinfectsStates.return.flushUIState:0
TEST.END

-- Subprogram: getDGInactiveReservoir

-- Test Case: getDGCommandResponse.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGInactiveReservoir
TEST.NEW
TEST.NAME:getDGCommandResponse.002
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_RESERVOIR_2) == dgActiveReservoirSet) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_1
TEST.END

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

-- Test Case: getDGInactiveReservoir.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGInactiveReservoir
TEST.NEW
TEST.NAME:getDGInactiveReservoir.001
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) ((DG_RESERVOIR_2) == dgActiveReservoirSet) ==> 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:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.EXPECTED:DGInterface.getDGInactiveReservoir.return:DG_RESERVOIR_1
TEST.END

-- Subprogram: getDGMixingRatios

-- Test Case: getDGMixingRatios
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGMixingRatios
TEST.NEW
TEST.NAME:getDGMixingRatios
TEST.EXPECTED:DGInterface.getDGMixingRatios.return.acidMixingRatio:0.0
TEST.EXPECTED:DGInterface.getDGMixingRatios.return.bicarbMixingRatio:0.0
TEST.EXPECTED:DGInterface.getDGMixingRatios.return.timeFillPrepMS:0
TEST.END

-- Subprogram: getDGOpMode

-- Test Case: getDGOpMode
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGOpMode
TEST.NEW
TEST.NAME:getDGOpMode
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_STAN
TEST.EXPECTED:DGInterface.getDGOpMode.return:DG_MODE_STAN
TEST.END

-- Subprogram: getDGRawDialysateFlowRateLMin

-- Test Case: getDGRawDialysateFlowRateLMin.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGRawDialysateFlowRateLMin
TEST.NEW
TEST.NAME:getDGRawDialysateFlowRateLMin.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateFlowRateRawLMin:10.1
TEST.EXPECTED:DGInterface.getDGRawDialysateFlowRateLMin.return:10.1
TEST.END

-- Subprogram: getDGSubMode

-- Test Case: getDGSubMode
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDGSubMode
TEST.NEW
TEST.NAME:getDGSubMode
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:1
TEST.EXPECTED:DGInterface.getDGSubMode.return:1
TEST.END

-- Subprogram: getDialysateFlowDataFreshFlag

-- Test Case: getDialysateFlowDataFreshFlag
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDialysateFlowDataFreshFlag
TEST.NEW
TEST.NAME:getDialysateFlowDataFreshFlag
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateFlowDataFreshFlag:0
TEST.EXPECTED:DGInterface.getDialysateFlowDataFreshFlag.return:0
TEST.END

-- Subprogram: getDialysateTemperature

-- Test Case: getDialysateTemperature
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getDialysateTemperature
TEST.NEW
TEST.NAME:getDialysateTemperature
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:1.0
TEST.EXPECTED:DGInterface.getDialysateTemperature.return:1.0
TEST.END

-- Subprogram: getHDVersionDGServiceAndUsageData

-- Test Case: getHDVersionDGServiceAndUsageData.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getHDVersionDGServiceAndUsageData
TEST.NEW
TEST.NAME:getHDVersionDGServiceAndUsageData.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:DGInterface.getHDVersionDGServiceAndUsageData.data:<<malloc 1>>
TEST.END

-- Subprogram: getHeatDisinfectTemperatureSensorValue

-- Test Case: getHeatDisinfectTemperatureSensorValue.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getHeatDisinfectTemperatureSensorValue
TEST.NEW
TEST.NAME:getHeatDisinfectTemperatureSensorValue.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgHeatDisinfectTemp:30.0
TEST.EXPECTED:DGInterface.getHeatDisinfectTemperatureSensorValue.return:30.0
TEST.END

-- Subprogram: getLoadCellWeight

-- Test Case: getLoadCellWeight.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getLoadCellWeight
TEST.NEW
TEST.NAME:getLoadCellWeight.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if (loadCellID < (NUM_OF_LOAD_CELLS)) ==> 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:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_FIRST].data:1.0
TEST.VALUE:DGInterface.getLoadCellWeight.loadCellID:LOAD_CELL_FIRST
TEST.EXPECTED:DGInterface.getLoadCellWeight.return:1.0
TEST.END

-- Test Case: getLoadCellWeight.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getLoadCellWeight
TEST.NEW
TEST.NAME:getLoadCellWeight.002
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (loadCellID < (NUM_OF_LOAD_CELLS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getLoadCellWeight.loadCellID:<<MAX>>
TEST.EXPECTED:DGInterface.getLoadCellWeight.loadCellID:NUM_OF_LOAD_CELLS
TEST.END

-- Test Case: getLoadCellWeight.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getLoadCellWeight
TEST.NEW
TEST.NAME:getLoadCellWeight.003
TEST.BASIS_PATH:2 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (loadCellID < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if (0xccc33c33U == (loadCellWeightInGrams[loadCellID]).override) ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( DGInterface.getLoadCellWeight.loadCellID ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_FIRST].override:<<MIN>>
TEST.VALUE:DGInterface.getLoadCellWeight.loadCellID:<<MIN>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_FIRST].override:0
TEST.EXPECTED:DGInterface.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY
TEST.END

-- Test Case: getLoadCellWeight.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getLoadCellWeight
TEST.NEW
TEST.NAME:getLoadCellWeight.004
TEST.BASIS_PATH:3 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (loadCellID < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if (0xccc33c33U == (loadCellWeightInGrams[loadCellID]).override) ==> TRUE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( DGInterface.getLoadCellWeight.loadCellID ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_FIRST].override:3435346995
TEST.VALUE:DGInterface.getLoadCellWeight.loadCellID:<<MIN>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_FIRST].override:3435346995
TEST.EXPECTED:DGInterface.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY
TEST.END

-- Subprogram: getReservoirBackupWeightLargeFilter

-- Test Case: getReservoirBackupWeightLargeFilter.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirBackupWeightLargeFilter
TEST.NEW
TEST.NAME:getReservoirBackupWeightLargeFilter.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirBackupWeightLargeFilter.resID:<<MAX>>
TEST.VALUE:DGInterface.getReservoirBackupWeightLargeFilter.return:0.0
TEST.EXPECTED:DGInterface.getReservoirBackupWeightLargeFilter.return:0.0
TEST.END

-- Test Case: getReservoirBackupWeightLargeFilter.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirBackupWeightLargeFilter
TEST.NEW
TEST.NAME:getReservoirBackupWeightLargeFilter.002
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirBackupWeightLargeFilter.resID:<<MAX>>
TEST.EXPECTED:DGInterface.getReservoirBackupWeightLargeFilter.resID:NUM_OF_DG_RESERVOIRS
TEST.END

-- Test Case: getReservoirBackupWeightLargeFilter.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirBackupWeightLargeFilter
TEST.NEW
TEST.NAME:getReservoirBackupWeightLargeFilter.003
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirBackupWeightLargeFilter.resID:<<MIN>>
TEST.EXPECTED:DGInterface.getReservoirBackupWeightLargeFilter.resID:DG_RESERVOIR_1
TEST.END

-- Subprogram: getReservoirWeight

-- Test Case: getReservoirWeight.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeight
TEST.NEW
TEST.NAME:getReservoirWeight.001
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) ((DG_RESERVOIR_1) == resID) ==> 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.STUB:DGInterface.getLoadCellWeight
TEST.VALUE:DGInterface.getLoadCellWeight.loadCellID:LOAD_CELL_FIRST
TEST.VALUE:DGInterface.getLoadCellWeight.return:1.0
TEST.VALUE:DGInterface.getReservoirWeight.resID:DG_RESERVOIR_1
TEST.EXPECTED:DGInterface.getReservoirWeight.resID:DG_RESERVOIR_1
TEST.EXPECTED:DGInterface.getReservoirWeight.return:1.0
TEST.END

-- Test Case: getReservoirWeight.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeight
TEST.NEW
TEST.NAME:getReservoirWeight.002
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((DG_RESERVOIR_1) == resID) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirWeight.resID:DG_RESERVOIR_2
TEST.EXPECTED:DGInterface.getReservoirWeight.resID:DG_RESERVOIR_2
TEST.END

-- Test Case: getReservoirWeight.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeight
TEST.NEW
TEST.NAME:getReservoirWeight.003
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((DG_RESERVOIR_1) == resID) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirWeight.resID:DG_RESERVOIR_1
TEST.EXPECTED:DGInterface.getReservoirWeight.resID:DG_RESERVOIR_1
TEST.END

-- Subprogram: getReservoirWeightLargeFilter

-- Test Case: getReservoirWeightLargeFilter.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeightLargeFilter
TEST.NEW
TEST.NAME:getReservoirWeightLargeFilter.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> 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:DGInterface.<<GLOBAL>>.lgFilteredReservoirWeightInGrams[DG_RESERVOIR_1]:1.0
TEST.VALUE:DGInterface.getReservoirWeightLargeFilter.resID:<<MIN>>
TEST.EXPECTED:DGInterface.getReservoirWeightLargeFilter.return:1.0
TEST.END

-- Test Case: getReservoirWeightLargeFilter.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeightLargeFilter
TEST.NEW
TEST.NAME:getReservoirWeightLargeFilter.002
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirWeightLargeFilter.resID:<<MAX>>
TEST.EXPECTED:DGInterface.getReservoirWeightLargeFilter.resID:NUM_OF_DG_RESERVOIRS
TEST.END

-- Test Case: getReservoirWeightLargeFilter.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getReservoirWeightLargeFilter
TEST.NEW
TEST.NAME:getReservoirWeightLargeFilter.003
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.getReservoirWeightLargeFilter.resID:<<MIN>>
TEST.EXPECTED:DGInterface.getReservoirWeightLargeFilter.resID:DG_RESERVOIR_1
TEST.END

-- Subprogram: getTrimmerHeaterCommandedOn

-- Test Case: getTrimmerHeaterCommandedOn.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:getTrimmerHeaterCommandedOn
TEST.NEW
TEST.NAME:getTrimmerHeaterCommandedOn.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.EXPECTED:DGInterface.getTrimmerHeaterCommandedOn.return:0
TEST.END

-- Subprogram: handleDGCommandResponse

-- Test Case: handleDGCommandResponse.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.001
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_NONE].commandID:1
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCmdResp[DG_CMD_NONE].commandID:1
TEST.END

-- Test Case: handleDGCommandResponse.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.002
TEST.BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> FALSE
      (3) if ((1) == dgCmdRespPtr->rejected) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MAX>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:<<MIN>>
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:4294967295
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:0
TEST.END

-- Test Case: handleDGCommandResponse.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.003
TEST.BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> FALSE
      (3) if ((1) == dgCmdRespPtr->rejected) ==> TRUE
      (7) case (dgCmdRespPtr->rejectCode) ==> default
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MAX>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:3
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:4294967295
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:3
TEST.END

-- Test Case: handleDGCommandResponse.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.004
TEST.BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> FALSE
      (3) if ((1) == dgCmdRespPtr->rejected) ==> TRUE
      (4) case (dgCmdRespPtr->rejectCode) ==> DG_CMD_REQUEST_REJECT_REASON_INVALID_PARAMETER
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MAX>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:2
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:4294967295
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:2
TEST.END

-- Test Case: handleDGCommandResponse.005
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.005
TEST.BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> FALSE
      (3) if ((1) == dgCmdRespPtr->rejected) ==> TRUE
      (5) case (dgCmdRespPtr->rejectCode) ==> DG_CMD_REQUEST_REJECT_REASON_NONE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MAX>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:0
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:4294967295
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:0
TEST.END

-- Test Case: handleDGCommandResponse.006
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.006
TEST.BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> FALSE
      (3) if ((1) == dgCmdRespPtr->rejected) ==> TRUE
      (6) case (dgCmdRespPtr->rejectCode) ==> DG_CMD_REQUEST_REJECT_REASON_INVALID_MODE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MAX>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:1
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:4294967295
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:1
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejectCode:1
TEST.END

-- Test Case: handleDGCommandResponse.007
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.007
TEST.BASIS_PATH:6 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> TRUE
      (2) if ((DG_CMD_NONE) != dgCmdRespPtr->commandID) ==> FALSE
      (3) if ((1) == dgCmdRespPtr->rejected) ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( DGInterface.handleDGCommandResponse.dgCmdRespPtr.commandID ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MIN>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:<<MIN>>
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:0
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:0
TEST.END

-- Test Case: handleDGCommandResponse.008
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:handleDGCommandResponse
TEST.NEW
TEST.NAME:handleDGCommandResponse.008
TEST.BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (dgCmdRespPtr->commandID < (NUM_OF_DG_COMMANDS)) ==> TRUE
      (2) if ((DG_CMD_NONE) != dgCmdRespPtr->commandID) ==> TRUE
      (3) if ((1) == dgCmdRespPtr->rejected) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr:<<malloc 1>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:<<MIN>>
TEST.VALUE:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:<<MIN>>
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].commandID:0
TEST.EXPECTED:DGInterface.handleDGCommandResponse.dgCmdRespPtr[0].rejected:0
TEST.END

-- Subprogram: hasDGCompletedReservoirSwitch

-- Test Case: hasDGCompletedReservoirSwitch.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:hasDGCompletedReservoirSwitch
TEST.NEW
TEST.NAME:hasDGCompletedReservoirSwitch.001
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) (dgActiveReservoir == dgActiveReservoirSet) ==> 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:DGInterface.<<GLOBAL>>.dgActiveReservoir:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:<<MIN>>
TEST.EXPECTED:DGInterface.hasDGCompletedReservoirSwitch.return:1
TEST.END

-- Test Case: hasDGCompletedReservoirSwitch.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:hasDGCompletedReservoirSwitch
TEST.NEW
TEST.NAME:hasDGCompletedReservoirSwitch.002
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) (dgActiveReservoir == dgActiveReservoirSet) ==> 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:DGInterface.<<GLOBAL>>.dgActiveReservoir:<<MIN>>
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.EXPECTED:DGInterface.hasDGCompletedReservoirSwitch.return:0
TEST.END

-- Subprogram: initDGInterface

-- Test Case: initDGInterface
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:initDGInterface
TEST.NEW
TEST.NAME:initDGInterface
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 3249 TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgPrimaryTempSet:0.0
>>>     >>> Unknown parameter/object name dgPrimaryTempSet
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 808 TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgWaterSampled:0
>>>     >>> Unknown parameter/object name dgWaterSampled
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgStarted:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerHeaterOn:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgTrimmerTempSet:0.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoirSet:DG_RESERVOIR_2
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTargetSet:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTargetSet:0
TEST.END

-- Subprogram: setDGDisinfectsStates

-- Test Case: setDGDisinfectsStates
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGDisinfectsStates
TEST.NEW
TEST.NAME:setDGDisinfectsStates
TEST.EXPECTED:DGInterface.setDGDisinfectsStates.states.chemDisinfectUIState:0
TEST.EXPECTED:DGInterface.setDGDisinfectsStates.states.heatDisinfectUIState:0
TEST.EXPECTED:DGInterface.setDGDisinfectsStates.states.flushUIState:0
TEST.END

-- Subprogram: setDGHeatersData

-- Test Case: setDGHeatersData.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGHeatersData
TEST.NEW
TEST.NAME:setDGHeatersData.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:DGInterface.setDGHeatersData.data:<<malloc 1>>
TEST.END

-- Subprogram: setDGMixingRatios

-- Test Case: setDGMixingRatios
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGMixingRatios
TEST.NEW
TEST.NAME:setDGMixingRatios
TEST.EXPECTED:DGInterface.setDGMixingRatios.ratios.acidMixingRatio:0.0
TEST.EXPECTED:DGInterface.setDGMixingRatios.ratios.bicarbMixingRatio:0.0
TEST.EXPECTED:DGInterface.setDGMixingRatios.ratios.timeFillPrepMS:0
TEST.END

-- Subprogram: setDGOpMode

-- Test Case: setDGOpMode.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGOpMode
TEST.NEW
TEST.NAME:setDGOpMode.001
TEST.VALUE:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_INIT
TEST.VALUE:DGInterface.<<GLOBAL>>.dgSubMode:0
TEST.VALUE:DGInterface.setDGOpMode.opMode:20
TEST.VALUE:DGInterface.setDGOpMode.subMode:1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgCurrentOpMode:DG_MODE_INIT
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgSubMode:0
TEST.END

-- Test Case: setDGOpMode.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGOpMode
TEST.NEW
TEST.NAME:setDGOpMode.002
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (opMode < (NUM_OF_DG_MODES)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setDGOpMode.opMode:<<MAX>>
TEST.VALUE:DGInterface.setDGOpMode.subMode:<<MIN>>
TEST.EXPECTED:DGInterface.setDGOpMode.opMode:4294967295
TEST.EXPECTED:DGInterface.setDGOpMode.subMode:0
TEST.END

-- Test Case: setDGOpMode.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGOpMode
TEST.NEW
TEST.NAME:setDGOpMode.003
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (opMode < (NUM_OF_DG_MODES)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setDGOpMode.opMode:<<MIN>>
TEST.VALUE:DGInterface.setDGOpMode.subMode:<<MIN>>
TEST.EXPECTED:DGInterface.setDGOpMode.opMode:0
TEST.EXPECTED:DGInterface.setDGOpMode.subMode:0
TEST.END

-- Subprogram: setDGReservoirsData

-- Test Case: setDGReservoirsData.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGReservoirsData
TEST.NEW
TEST.NAME:setDGReservoirsData.001
TEST.VALUE:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTarget:0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTarget:0
TEST.VALUE:DGInterface.setDGReservoirsData.resID:NUM_OF_DG_RESERVOIRS
TEST.VALUE:DGInterface.setDGReservoirsData.fillVol:1700
TEST.VALUE:DGInterface.setDGReservoirsData.drainVol:100
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgActiveReservoir:DG_RESERVOIR_1
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirFillVolumeTarget:0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgReservoirDrainVolumeTarget:0
TEST.END

-- Test Case: setDGReservoirsData.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGReservoirsData
TEST.NEW
TEST.NAME:setDGReservoirsData.002
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setDGReservoirsData.resID:<<MAX>>
TEST.VALUE:DGInterface.setDGReservoirsData.fillVol:<<MIN>>
TEST.VALUE:DGInterface.setDGReservoirsData.drainVol:<<MIN>>
TEST.EXPECTED:DGInterface.setDGReservoirsData.resID:NUM_OF_DG_RESERVOIRS
TEST.EXPECTED:DGInterface.setDGReservoirsData.fillVol:0
TEST.EXPECTED:DGInterface.setDGReservoirsData.drainVol:0
TEST.END

-- Test Case: setDGReservoirsData.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDGReservoirsData
TEST.NEW
TEST.NAME:setDGReservoirsData.003
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (resID < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.setDGReservoirsData.resID:<<MIN>>
TEST.VALUE:DGInterface.setDGReservoirsData.fillVol:<<MIN>>
TEST.VALUE:DGInterface.setDGReservoirsData.drainVol:<<MIN>>
TEST.EXPECTED:DGInterface.setDGReservoirsData.resID:DG_RESERVOIR_1
TEST.EXPECTED:DGInterface.setDGReservoirsData.fillVol:0
TEST.EXPECTED:DGInterface.setDGReservoirsData.drainVol:0
TEST.END

-- Subprogram: setDialysateFlowData

-- Test Case: setDialysateFlowData.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDialysateFlowData
TEST.NEW
TEST.NAME:setDialysateFlowData.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1565 TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateFlowRateMlMin:11.0
    >>>     >>> Unknown parameter/object name dgDialysateFlowRateMlMin
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1566 TEST.VALUE:DGInterface.setDialysateFlowData.flowRate:10.0
    >>>     >>> Unknown parameter/object name flowRate
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1567 TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateFlowRateMlMin:10.0
    >>>     >>> Unknown parameter/object name dgDialysateFlowRateMlMin
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateFlowDataFreshFlag:1
TEST.END

-- Test Case: setDialysateFlowData.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDialysateFlowData
TEST.NEW
TEST.NAME:setDialysateFlowData.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1576 TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateFlowRateMlMin:11.0
    >>>     >>> Unknown parameter/object name dgDialysateFlowRateMlMin
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1577 TEST.VALUE:DGInterface.setDialysateFlowData.flowRate:<<NAN>>
    >>>     >>> Unknown parameter/object name flowRate
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1578 TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateFlowRateMlMin:0.0
    >>>     >>> Unknown parameter/object name dgDialysateFlowRateMlMin
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.setDialysateFlowData.flowRates.dialysateRawFlowRateLPM:<<NAN>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateFlowDataFreshFlag:1
TEST.EXPECTED:DGInterface.setDialysateFlowData.flowRates.dialysateRawFlowRateLPM:<<NAN>>
TEST.END

-- Test Case: setDialysateFlowData.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDialysateFlowData
TEST.NEW
TEST.NAME:setDialysateFlowData.003
TEST.VALUE:DGInterface.setDialysateFlowData.flowRates.dialysateFlowRateLPM:<<NAN>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateFlowDataFreshFlag:1
TEST.EXPECTED:DGInterface.setDialysateFlowData.flowRates.dialysateFlowRateLPM:<<NAN>>
TEST.END

-- Subprogram: setDialysateTemperatureReadings

-- Test Case: setDialysateTemperatureReadings
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setDialysateTemperatureReadings
TEST.NEW
TEST.NAME:setDialysateTemperatureReadings
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1576 TEST.VALUE:DGInterface.setDialysateTemperatureReadings.temp1:37.3
    >>>     >>> Unknown parameter/object name temp1
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1577 TEST.VALUE:DGInterface.setDialysateTemperatureReadings.temp2:37.5
    >>>     >>> Unknown parameter/object name temp2
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgDialysateTemp:37.0
TEST.VALUE:DGInterface.<<GLOBAL>>.dgRedundantDialysateTemp:37.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgDialysateTemp:0.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgRedundantDialysateTemp:0.0
TEST.END

-- Subprogram: setHDVersionDGServiceRecord

-- Test Case: setHDVersionDGServiceRecord.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setHDVersionDGServiceRecord
TEST.NEW
TEST.NAME:setHDVersionDGServiceRecord.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.dgServiceAndUsageData.isDGServiceRecordAvailable:1
TEST.VALUE:DGInterface.setHDVersionDGServiceRecord.data:<<malloc 1>>
TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgServiceAndUsageData.isDGServiceRecordAvailable:1
TEST.END

-- Subprogram: setHDVersionDGUsageInfo

-- Test Case: setHDVersionDGUsageInfo.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setHDVersionDGUsageInfo
TEST.NEW
TEST.NAME:setHDVersionDGUsageInfo.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1631 TEST.VALUE:DGInterface.<<GLOBAL>>.dgServiceAndUsageData.isDGUsageInfoAviable:1
    >>>     >>> Expected a field name from the record type DG_SERVICE_AND_USAGE_DATA_T
    >>>     >>> Read:     isDGUsageInfoAviable
    >>> (E) @LINE: 1633 TEST.EXPECTED:DGInterface.<<GLOBAL>>.dgServiceAndUsageData.isDGUsageInfoAviable:1
    >>>     >>> Expected a field name from the record type DG_SERVICE_AND_USAGE_DATA_T
    >>>     >>> Read:     isDGUsageInfoAviable
TEST.END_IMPORT_FAILURES:
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:DGInterface.setHDVersionDGUsageInfo.data:<<malloc 1>>
TEST.END

-- Subprogram: setNewLoadCellReadings

-- Test Case: setNewLoadCellReadings.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:setNewLoadCellReadings.001
TEST.VALUE:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:40
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:1.0
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:1.0
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:1.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_FIRST].data:1.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_RESERVOIR_2_PRIMARY].data:1.0
TEST.EXPECTED:DGInterface.<<GLOBAL>>.loadCellWeightInGrams[LOAD_CELL_RESERVOIR_2_BACKUP].data:1.0
TEST.END

-- Test Case: setNewLoadCellReadings.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:setNewLoadCellReadings.002
TEST.BASIS_PATH:1 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Cannot set res due to assignment
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:1
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38
TEST.END

-- Test Case: setNewLoadCellReadings.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:setNewLoadCellReadings.003
TEST.BASIS_PATH:3 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      (3) if (res == (DG_RESERVOIR_1)) ==> FALSE
      (4) if (res == (DG_RESERVOIR_1)) ==> FALSE
      (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Cannot set res due to assignment
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:1
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38
TEST.END

-- Test Case: setNewLoadCellReadings.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:setNewLoadCellReadings.004
TEST.BASIS_PATH:4 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      (3) if (res == (DG_RESERVOIR_1)) ==> FALSE
      (4) if (res == (DG_RESERVOIR_1)) ==> TRUE
      (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Cannot set res due to assignment
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:1
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38
TEST.END

-- Test Case: setNewLoadCellReadings.005
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:setNewLoadCellReadings.005
TEST.BASIS_PATH:5 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> FALSE
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> TRUE
      (3) if (res == (DG_RESERVOIR_1)) ==> TRUE
      (4) if (res == (DG_RESERVOIR_1)) ==> FALSE
      (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Cannot set res due to assignment
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:1
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38
TEST.END

-- Test Case: setNewLoadCellReadings.006
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:setNewLoadCellReadings
TEST.NEW
TEST.NAME:setNewLoadCellReadings.006
TEST.BASIS_PATH:6 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (2) for (res < (NUM_OF_DG_RESERVOIRS)) ==> FALSE
      (5) if (lgLoadCellReadingsIdx >= 32 - 1) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
      Cannot set res due to assignment
TEST.END_NOTES:
TEST.VALUE:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res1Backup:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Primary:<<MIN>>
TEST.VALUE:DGInterface.setNewLoadCellReadings.res2Backup:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:DGInterface.<<GLOBAL>>.lgLoadCellReadingsIdx:1
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res1Backup:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Primary:-3.40282E+38
TEST.EXPECTED:DGInterface.setNewLoadCellReadings.res2Backup:-3.40282E+38
TEST.END

-- Subprogram: testResetDialOutLoadCellWeightOverride

-- Test Case: testResetDialOutLoadCellWeightOverride.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testResetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:testResetDialOutLoadCellWeightOverride.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> 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:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.EXPECTED:DGInterface.testResetDialOutLoadCellWeightOverride.return:0
TEST.END

-- Test Case: testResetDialOutLoadCellWeightOverride.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testResetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:testResetDialOutLoadCellWeightOverride.002
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:<<MAX>>
TEST.EXPECTED:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:4294967295
TEST.END

-- Test Case: testResetDialOutLoadCellWeightOverride.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testResetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:testResetDialOutLoadCellWeightOverride.003
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:0
TEST.END

-- Test Case: testResetDialOutLoadCellWeightOverride.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testResetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:testResetDialOutLoadCellWeightOverride.004
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:DGInterface.testResetDialOutLoadCellWeightOverride.sensor:0
TEST.END

-- Subprogram: testSetDialOutLoadCellWeightOverride

-- Test Case: testSetDialOutLoadCellWeightOverride.001
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testSetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:testSetDialOutLoadCellWeightOverride.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> 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:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.value:<<MIN>>
TEST.EXPECTED:DGInterface.testSetDialOutLoadCellWeightOverride.return:0
TEST.END

-- Test Case: testSetDialOutLoadCellWeightOverride.002
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testSetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:testSetDialOutLoadCellWeightOverride.002
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:<<MAX>>
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.value:<<MIN>>
TEST.EXPECTED:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:4294967295
TEST.EXPECTED:DGInterface.testSetDialOutLoadCellWeightOverride.value:-3.40282E+38
TEST.END

-- Test Case: testSetDialOutLoadCellWeightOverride.003
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testSetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:testSetDialOutLoadCellWeightOverride.003
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:0
TEST.EXPECTED:DGInterface.testSetDialOutLoadCellWeightOverride.value:-3.40282E+38
TEST.END

-- Test Case: testSetDialOutLoadCellWeightOverride.004
TEST.UNIT:DGInterface
TEST.SUBPROGRAM:testSetDialOutLoadCellWeightOverride
TEST.NEW
TEST.NAME:testSetDialOutLoadCellWeightOverride.004
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (sensor < (NUM_OF_LOAD_CELLS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:<<MIN>>
TEST.VALUE:DGInterface.testSetDialOutLoadCellWeightOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:DGInterface.testSetDialOutLoadCellWeightOverride.sensor:0
TEST.EXPECTED:DGInterface.testSetDialOutLoadCellWeightOverride.value:-3.40282E+38
TEST.END