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

-- Subprogram: execTreatmentEnd

-- Test Case: execTreatmentEnd.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.001
TEST.END

-- Test Case: execTreatmentEnd.002
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.002
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_PAUSED_STATE
TEST.END

-- Test Case: execTreatmentEnd.003
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:execTreatmentEnd
TEST.NEW
TEST.NAME:execTreatmentEnd.003
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.treatmentEndState:NUM_OF_TREATMENT_END_STATES
TEST.END

-- Subprogram: getCurrentTreatmentEndState

-- Test Case: getCurrentTreatmentEndState.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:getCurrentTreatmentEndState
TEST.NEW
TEST.NAME:getCurrentTreatmentEndState.001
TEST.END

-- Subprogram: handleTxEndPausedState

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:2 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
TEST.MCDC_BASIS_PATH:3 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:1
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:1 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:5 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (2) if ((1) == txEndAlarmResumeRequested) ==> 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:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:1
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (2) if ((1) == txEndAlarmResumeRequested) ==> 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:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (2) if ((1) == txEndAlarmResumeRequested) ==> FALSE
      (3) if ((1) == txEndAlarmEndTreatmentRequested) ==> 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:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:1
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (2) if ((1) == txEndAlarmResumeRequested) ==> FALSE
      (3) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (2) if ((1) == txEndAlarmResumeRequested) ==> FALSE
      (3) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (4) if (bloodSittingTimerCtr > WARN_TIME_BLOOD_SITTING) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set bloodSittingTimerCtr due to assignment
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (2) if ((1) == txEndAlarmResumeRequested) ==> FALSE
      (3) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (4) if (bloodSittingTimerCtr > WARN_TIME_BLOOD_SITTING) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set bloodSittingTimerCtr due to assignment
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (2) if ((1) == txEndAlarmResumeRequested) ==> FALSE
      (3) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (4) if (bloodSittingTimerCtr > WARN_TIME_BLOOD_SITTING) ==> FALSE
      (5) if (bloodSittingTimerCtr > MAX_TIME_BLOOD_SITTING) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set bloodSittingTimerCtr due to assignment
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (2) if ((1) == txEndAlarmResumeRequested) ==> FALSE
      (3) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (4) if (bloodSittingTimerCtr > WARN_TIME_BLOOD_SITTING) ==> FALSE
      (5) if (bloodSittingTimerCtr > MAX_TIME_BLOOD_SITTING) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set bloodSittingTimerCtr due to assignment
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: handleTxEndPausedState.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.001
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:1
TEST.END

-- Test Case: handleTxEndPausedState.002
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.002
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:1
TEST.END

-- Test Case: handleTxEndPausedState.003
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.003
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmResumeRequested:1
TEST.END

-- Test Case: handleTxEndPausedState.004
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.004
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:1
TEST.END

-- Test Case: handleTxEndPausedState.005
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.005
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:5000
TEST.END

-- Test Case: handleTxEndPausedState.006
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndPausedState
TEST.NEW
TEST.NAME:handleTxEndPausedState.006
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.bloodSittingTimerCtr:7000
TEST.END

-- Subprogram: handleTxEndRinsebackUserAction

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndRinsebackUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((TREATMENT_END_WAIT_FOR_RINSEBACK_STATE) == treatmentEndState) ==> 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:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_WAIT_FOR_RINSEBACK_STATE
TEST.VALUE:TreatmentEnd.handleTxEndRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndRinsebackUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((TREATMENT_END_WAIT_FOR_RINSEBACK_STATE) == treatmentEndState) ==> 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:TreatmentEnd.<<GLOBAL>>.treatmentEndState:TREATMENT_END_PAUSED_STATE
TEST.VALUE:TreatmentEnd.handleTxEndRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handleTxEndWait4RinsebackState

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 14
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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 14
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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 14
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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:14 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if (getDGInactiveReservoir() != (DG_RESERVOIR_1)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_2
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:13 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> TRUE
      (2) if (getDGInactiveReservoir() != (DG_RESERVOIR_1)) ==> 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:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:2
TEST.VALUE:uut_prototype_stubs.getDGInactiveReservoir.return:DG_RESERVOIR_1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:5 of 14
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()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:1
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_TF
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:9 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (5) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #5, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:1
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_3_PAIR_b_FT
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_5_ROW_3_PAIR_b_FT
TEST.MCDC_BASIS_PATH:10 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (5) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #5, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:1
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_4_PAIR_a_FF
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_5_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:8 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (5) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:12 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (5) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (6) if (txEndTimerCtr > TX_END_TIMEOUT_MS) ==> 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:TreatmentEnd.<<GLOBAL>>.txEndTimerCtr:<<MAX>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:handleTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:11 of 14
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((DG_MODE_GENE) == getDGOpMode() && (DG_GEN_IDLE_MODE_STATE_FLUSH_WATER) == getDGSubMode()) ==> FALSE
      (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (4) if ((1) == txEndAlarmEndTreatmentRequested) ==> FALSE
      (5) if ((1) == txEndRinsebackRequested || (1) == txEndAlarmRinsebackRequested) ==> FALSE
      (6) if (txEndTimerCtr > TX_END_TIMEOUT_MS) ==> 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:TreatmentEnd.<<GLOBAL>>.txEndTimerCtr:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmRinsebackRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndAlarmEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentEnd.<<GLOBAL>>.txEndRinsebackRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_FAUL
TEST.VALUE:uut_prototype_stubs.getDGSubMode.return:<<MIN>>
TEST.END

-- Subprogram: initTreatmentEnd

-- Test Case: initTreatmentEnd.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:initTreatmentEnd
TEST.NEW
TEST.NAME:initTreatmentEnd.001
TEST.END

-- Subprogram: resetTreatmentEndFlags

-- Test Case: resetTreatmentEndFlags.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:resetTreatmentEndFlags
TEST.NEW
TEST.NAME:resetTreatmentEndFlags.001
TEST.END

-- Subprogram: setupForTxEndPausedState

-- Test Case: setupForTxEndPausedState.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:setupForTxEndPausedState
TEST.NEW
TEST.NAME:setupForTxEndPausedState.001
TEST.END

-- Subprogram: setupForTxEndWait4RinsebackState

-- Test Case: setupForTxEndWait4RinsebackState.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:setupForTxEndWait4RinsebackState
TEST.NEW
TEST.NAME:setupForTxEndWait4RinsebackState.001
TEST.END

-- Subprogram: signalTreatmentEndAlarmEndTxUserAction

-- Test Case: signalTreatmentEndAlarmEndTxUserAction.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:signalTreatmentEndAlarmEndTxUserAction
TEST.NEW
TEST.NAME:signalTreatmentEndAlarmEndTxUserAction.001
TEST.END

-- Subprogram: signalTreatmentEndAlarmResumeUserAction

-- Test Case: signalTreatmentEndAlarmResumeUserAction.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:signalTreatmentEndAlarmResumeUserAction
TEST.NEW
TEST.NAME:signalTreatmentEndAlarmResumeUserAction.001
TEST.END

-- Subprogram: signalTreatmentEndAlarmRinsebackUserAction

-- Test Case: signalTreatmentEndAlarmRinsebackUserAction.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:signalTreatmentEndAlarmRinsebackUserAction
TEST.NEW
TEST.NAME:signalTreatmentEndAlarmRinsebackUserAction.001
TEST.END

-- Subprogram: signalTreatmentEndUserAction

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

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

-- Test Case: signalTreatmentEndUserAction.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:signalTreatmentEndUserAction
TEST.NEW
TEST.NAME:signalTreatmentEndUserAction.001
TEST.VALUE:TreatmentEnd.signalTreatmentEndUserAction.action:NUM_OF_REQUESTED_TX_END_USER_ACTIONS
TEST.END

-- Subprogram: transitionToTreatmentEnd

-- Test Case: transitionToTreatmentEnd.001
TEST.UNIT:TreatmentEnd
TEST.SUBPROGRAM:transitionToTreatmentEnd
TEST.NEW
TEST.NAME:transitionToTreatmentEnd.001
TEST.END