-- 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:uut_prototype_stubs.isTreatmentCompleted.return:0
TEST.VALUE:uut_prototype_stubs.getTreatmentStartTimeStamp.return:1
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:uut_prototype_stubs.isTreatmentCompleted.return:1
TEST.VALUE:uut_prototype_stubs.getTreatmentStartTimeStamp.return:1
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:uut_prototype_stubs.isTreatmentCompleted.return:1
TEST.VALUE:uut_prototype_stubs.getActualTreatmentTimeSecs.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getTreatmentStartTimeStamp.return:0
TEST.END

-- Subprogram: execDrainReservoirs

-- Test Case: execDrainReservoirs.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.001
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.END

-- Test Case: execDrainReservoirs.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.002
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_STATE
TEST.END

-- Test Case: execDrainReservoirs.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.003
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_SWITCH_RESERVOIR_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_SWITCH_RESERVOIR_STATE
TEST.END

-- Test Case: execDrainReservoirs.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.004
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_SECOND_RESERVOIR_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_SECOND_RESERVOIR_STATE
TEST.END

-- Test Case: execDrainReservoirs.005
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.005
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_COMPLETE_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_COMPLETE_STATE
TEST.END

-- Test Case: execDrainReservoirs.006
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:execDrainReservoirs
TEST.NEW
TEST.NAME:execDrainReservoirs.006
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:NUM_OF_DRAIN_STATES
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
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: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: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:HD_POST_TREATMENT_VERIFY_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_VERIFY_STATE
TEST.EXPECTED:ModePostTreat.execPostTreatmentMode.return: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: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: handleDrainFirstReservoirStartState

-- Test Case: handleDrainFirstReservoirStartState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainFirstReservoirStartState
TEST.NEW
TEST.NAME:handleDrainFirstReservoirStartState.001
TEST.MCDC_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()) ==> 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.handleDrainFirstReservoirStartState.return:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.EXPECTED:ModePostTreat.handleDrainFirstReservoirStartState.return:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.END

-- Test Case: handleDrainFirstReservoirStartState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainFirstReservoirStartState
TEST.NEW
TEST.NAME:handleDrainFirstReservoirStartState.002
TEST.MCDC_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
      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.handleDrainFirstReservoirStartState.return:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.handleDrainFirstReservoirStartState.return:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.END

-- Test Case: handleDrainFirstReservoirStartState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainFirstReservoirStartState
TEST.NEW
TEST.NAME:handleDrainFirstReservoirStartState.003
TEST.MCDC_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
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.handleDrainFirstReservoirStartState.return:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.EXPECTED:ModePostTreat.handleDrainFirstReservoirStartState.return:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.END

-- Test Case: handleDrainFirstReservoirStartState.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainFirstReservoirStartState
TEST.NEW
TEST.NAME:handleDrainFirstReservoirStartState.004
TEST.MCDC_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) == hasDGCompletedReservoirSwitch()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModePostTreat.handleDrainFirstReservoirStartState.return:DRAIN_FIRST_RESERVOIR_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:1
TEST.EXPECTED:ModePostTreat.handleDrainFirstReservoirStartState.return:DRAIN_FIRST_RESERVOIR_STATE
TEST.END

-- Subprogram: handleDrainFirstReservoirState

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

-- Test Case: handleDrainFirstReservoirState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainFirstReservoirState
TEST.NEW
TEST.NAME:handleDrainFirstReservoirState.002
TEST.MCDC_BASIS_PATH:4 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isReservoirDrainStarted()) ==> FALSE
      (2) if ((1) == isDrainStarted && (DG_GEN_IDLE_MODE_STATE_FLUSH_LINES) == getDGSubMode()) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:ModePostTreat.isReservoirDrainStarted
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainStarted:1
TEST.VALUE:ModePostTreat.isReservoirDrainStarted.return:<<MIN>>
TEST.VALUE:ModePostTreat.handleDrainFirstReservoirState.return:DRAIN_FIRST_RESERVOIR_STATE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:ModePostTreat.handleDrainFirstReservoirState.return:DRAIN_FIRST_RESERVOIR_STATE
TEST.END

-- Test Case: handleDrainFirstReservoirState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainFirstReservoirState
TEST.NEW
TEST.NAME:handleDrainFirstReservoirState.003
TEST.MCDC_BASIS_PATH:9 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == isReservoirDrainStarted()) ==> FALSE
      (2) if ((1) == isDrainStarted && (DG_GEN_IDLE_MODE_STATE_FLUSH_LINES) == getDGSubMode()) ==> FALSE
      (3) if ((1) == isDrainCompleted) ==> TRUE
      (4) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:ModePostTreat.isReservoirDrainStarted
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainStarted:<<MIN>>
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainCompleted:1
TEST.VALUE:ModePostTreat.isReservoirDrainStarted.return:<<MIN>>
TEST.VALUE:ModePostTreat.handleDrainFirstReservoirState.return:DRAIN_SWITCH_RESERVOIR_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.EXPECTED:ModePostTreat.handleDrainFirstReservoirState.return:DRAIN_SWITCH_RESERVOIR_STATE
TEST.END

-- Test Case: handleDrainFirstReservoirState.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainFirstReservoirState
TEST.NEW
TEST.NAME:handleDrainFirstReservoirState.004
TEST.MCDC_BASIS_PATH:10 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == isReservoirDrainStarted()) ==> FALSE
      (2) if ((1) == isDrainStarted && (DG_GEN_IDLE_MODE_STATE_FLUSH_LINES) == getDGSubMode()) ==> FALSE
      (3) if ((1) == isDrainCompleted) ==> TRUE
      (4) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:ModePostTreat.isReservoirDrainStarted
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainStarted:<<MIN>>
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainCompleted:1
TEST.VALUE:ModePostTreat.isReservoirDrainStarted.return:<<MIN>>
TEST.VALUE:ModePostTreat.handleDrainFirstReservoirState.return:DRAIN_FIRST_RESERVOIR_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.handleDrainFirstReservoirState.return:DRAIN_FIRST_RESERVOIR_STATE
TEST.END

-- Subprogram: handleDrainSecondReservoirState

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

-- Test Case: handleDrainSecondReservoirState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainSecondReservoirState
TEST.NEW
TEST.NAME:handleDrainSecondReservoirState.002
TEST.MCDC_BASIS_PATH:4 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isReservoirDrainStarted()) ==> FALSE
      (2) if ((1) == isDrainStarted && (DG_GEN_IDLE_MODE_STATE_FLUSH_LINES) == getDGSubMode()) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:ModePostTreat.isReservoirDrainStarted
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainStarted:1
TEST.VALUE:ModePostTreat.isReservoirDrainStarted.return:<<MIN>>
TEST.VALUE:ModePostTreat.handleDrainSecondReservoirState.return:DRAIN_SECOND_RESERVOIR_STATE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:1
TEST.EXPECTED:ModePostTreat.handleDrainSecondReservoirState.return:DRAIN_SECOND_RESERVOIR_STATE
TEST.END

-- Test Case: handleDrainSecondReservoirState.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainSecondReservoirState
TEST.NEW
TEST.NAME:handleDrainSecondReservoirState.003
TEST.MCDC_BASIS_PATH:9 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == isReservoirDrainStarted()) ==> FALSE
      (2) if ((1) == isDrainStarted && (DG_GEN_IDLE_MODE_STATE_FLUSH_LINES) == getDGSubMode()) ==> FALSE
      (3) if ((1) == isDrainCompleted) ==> TRUE
      (4) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:ModePostTreat.isReservoirDrainStarted
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainStarted:<<MIN>>
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainCompleted:1
TEST.VALUE:ModePostTreat.isReservoirDrainStarted.return:<<MIN>>
TEST.VALUE:ModePostTreat.handleDrainSecondReservoirState.return:DRAIN_COMPLETE_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.EXPECTED:ModePostTreat.handleDrainSecondReservoirState.return:DRAIN_COMPLETE_STATE
TEST.END

-- Test Case: handleDrainSecondReservoirState.004
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainSecondReservoirState
TEST.NEW
TEST.NAME:handleDrainSecondReservoirState.004
TEST.MCDC_BASIS_PATH:10 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == isReservoirDrainStarted()) ==> FALSE
      (2) if ((1) == isDrainStarted && (DG_GEN_IDLE_MODE_STATE_FLUSH_LINES) == getDGSubMode()) ==> FALSE
      (3) if ((1) == isDrainCompleted) ==> TRUE
      (4) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:ModePostTreat.isReservoirDrainStarted
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainStarted:<<MIN>>
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainCompleted:1
TEST.VALUE:ModePostTreat.isReservoirDrainStarted.return:<<MIN>>
TEST.VALUE:ModePostTreat.handleDrainSecondReservoirState.return:DRAIN_SECOND_RESERVOIR_STATE
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.handleDrainSecondReservoirState.return:DRAIN_SECOND_RESERVOIR_STATE
TEST.END

-- Subprogram: handleDrainSwitchReservoirState

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

-- Test Case: handleDrainSwitchReservoirState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handleDrainSwitchReservoirState
TEST.NEW
TEST.NAME:handleDrainSwitchReservoirState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == hasDGCompletedReservoirSwitch()) ==> 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.handleDrainSwitchReservoirState.return:DRAIN_SWITCH_RESERVOIR_STATE
TEST.VALUE:uut_prototype_stubs.hasDGCompletedReservoirSwitch.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.handleDrainSwitchReservoirState.return:DRAIN_SWITCH_RESERVOIR_STATE
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.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.<<GLOBAL>>.currentDrainReservoirState:DRAIN_COMPLETE_STATE
TEST.VALUE:ModePostTreat.handlePostTreatmentDrainReservoirsState.return:HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentDrainReservoirsState.return:HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.END

-- Test Case: handlePostTreatmentDrainReservoirsState.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentDrainReservoirsState
TEST.NEW
TEST.NAME:handlePostTreatmentDrainReservoirsState.002
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.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.VALUE:ModePostTreat.handlePostTreatmentDrainReservoirsState.return:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.EXPECTED:ModePostTreat.handlePostTreatmentDrainReservoirsState.return:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.END

-- Subprogram: handlePostTreatmentPatientDisconnectionState

-- Test Case: handlePostTreatmentPatientDisconnectionState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentPatientDisconnectionState
TEST.NEW
TEST.NAME:handlePostTreatmentPatientDisconnectionState.001
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.getFPGADoorState.return:STATE_CLOSED
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.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.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_CLOSED
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.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.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_PATIENT_DISCONNECTION_STATE
TEST.VALUE:uut_prototype_stubs.getFPGADoorState.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.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.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_CLOSED
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.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.getFPGADoorState.return:STATE_CLOSED
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<<MAX>>
TEST.EXPECTED:ModePostTreat.handlePostTreatmentPatientDisconnectionState.return:HD_POST_TREATMENT_DISPOSABLE_REMOVAL_STATE
TEST.END

-- Subprogram: handlePostTreatmentVerifyState

-- Test Case: handlePostTreatmentVerifyState.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:handlePostTreatmentVerifyState
TEST.NEW
TEST.NAME:handlePostTreatmentVerifyState.001
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.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_CLOSED
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.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.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN
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.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.getFPGADoorState.return:STATE_CLOSED
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.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.getFPGADoorState.return:STATE_CLOSED
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.VALUE:ModePostTreat.<<GLOBAL>>.patientDisconnectionConfirmed:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.disposableRemovalConfirmed:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainStarted:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.isDrainCompleted:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.rinseConcentrateLines:0
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.VALUE:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.VALUE:ModePostTreat.<<GLOBAL>>.postTreatmentPublishTimerCounter:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.patientDisconnectionConfirmed:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.disposableRemovalConfirmed:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isDrainStarted:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.isDrainCompleted:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.rinseConcentrateLines:0
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentPostTreatmentState:HD_POST_TREATMENT_DRAIN_RESERVOIRS_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.EXPECTED:ModePostTreat.<<GLOBAL>>.postTreatmentPublishTimerCounter:0
TEST.END

-- Subprogram: isReservoirDrainStarted

-- Test Case: isReservoirDrainStarted.001
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:isReservoirDrainStarted
TEST.NEW
TEST.NAME:isReservoirDrainStarted.001
TEST.VALUE:ModePostTreat.isReservoirDrainStarted.return:1
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:0
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1
TEST.EXPECTED:ModePostTreat.isReservoirDrainStarted.return:1
TEST.END

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

-- Test Case: isReservoirDrainStarted.003
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:isReservoirDrainStarted
TEST.NEW
TEST.NAME:isReservoirDrainStarted.003
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == getDGCommandResponse(DG_CMD_START_DRAIN, &dgCmdResp)) ==> 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.isReservoirDrainStarted.return:0
TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<<MIN>>
TEST.EXPECTED:ModePostTreat.isReservoirDrainStarted.return: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.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.<<GLOBAL>>.currentDrainReservoirState:DRAIN_COMPLETE_STATE
TEST.VALUE:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.accepted:1
TEST.VALUE:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.reason:REQUEST_REJECT_REASON_NONE
TEST.EXPECTED:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.reason:REQUEST_REJECT_REASON_NONE
TEST.END

-- Test Case: signalUserConfirmDisposableRemoval.002
TEST.UNIT:ModePostTreat
TEST.SUBPROGRAM:signalUserConfirmDisposableRemoval
TEST.NEW
TEST.NAME:signalUserConfirmDisposableRemoval.002
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.<<GLOBAL>>.currentDrainReservoirState:DRAIN_FIRST_RESERVOIR_START_STATE
TEST.VALUE:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.reason:REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE
TEST.EXPECTED:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendDisposableRemovalConfirmResponse.reason:REQUEST_REJECT_REASON_DRAIN_NOT_COMPLETE
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