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

-- Subprogram: execTreatmentRecirc

-- Test Case: execTreatmentRecirc.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:execTreatmentRecirc
TEST.NEW
TEST.NAME:execTreatmentRecirc.001
TEST.END

-- Test Case: execTreatmentRecirc.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:execTreatmentRecirc
TEST.NEW
TEST.NAME:execTreatmentRecirc.002
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: execTreatmentRecirc.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:execTreatmentRecirc
TEST.NEW
TEST.NAME:execTreatmentRecirc.003
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:NUM_OF_TREATMENT_RECIRC_STATES
TEST.END

-- Subprogram: getCurrentTreatmentRecircState

-- Test Case: getCurrentTreatmentRecircState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:getCurrentTreatmentRecircState
TEST.NEW
TEST.NAME:getCurrentTreatmentRecircState.001
TEST.END

-- Subprogram: handleRecicConfirmReconnectUserAction

-- Test Case: handleRecicConfirmReconnectUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecicConfirmReconnectUserAction
TEST.NEW
TEST.NAME:handleRecicConfirmReconnectUserAction.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> 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:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_STOPPED_STATE
TEST.VALUE:TreatmentRecirc.handleRecicConfirmReconnectUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: handleRecicConfirmReconnectUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecicConfirmReconnectUserAction
TEST.NEW
TEST.NAME:handleRecicConfirmReconnectUserAction.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> 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:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecicConfirmReconnectUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handleRecircEndTreatmentUserAction

-- Test Case: handleRecircEndTreatmentUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircEndTreatmentUserAction
TEST.NEW
TEST.NAME:handleRecircEndTreatmentUserAction.001
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: handleRecircEndTreatmentUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircEndTreatmentUserAction
TEST.NEW
TEST.NAME:handleRecircEndTreatmentUserAction.002
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((TREATMENT_RECIRC_RECIRC_STATE) == treatmentRecircState || (TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> 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:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecircEndTreatmentUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: handleRecircEndTreatmentUserAction.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircEndTreatmentUserAction
TEST.NEW
TEST.NAME:handleRecircEndTreatmentUserAction.003
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((TREATMENT_RECIRC_RECIRC_STATE) == treatmentRecircState || (TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> 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:
      Conflict: Trying to set variable TreatmentRecirc.<<GLOBAL>>.treatmentRecircState 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:NUM_OF_TREATMENT_RECIRC_STATES
TEST.VALUE:TreatmentRecirc.handleRecircEndTreatmentUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handleRecircRecircState

-- Test Case: handleRecircRecircState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.001
TEST.MCDC_BASIS_PATH:2 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> 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:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:1
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Test Case: handleRecircRecircState.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.002
TEST.MCDC_BASIS_PATH:3 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> 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:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.END

-- Test Case: handleRecircRecircState.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.003
TEST.MCDC_BASIS_PATH:1 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> 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:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Test Case: handleRecircRecircState.004
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.004
TEST.MCDC_BASIS_PATH:5 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> 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:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:1
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Test Case: handleRecircRecircState.005
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.005
TEST.MCDC_BASIS_PATH:7 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> FALSE
      (3) if (recircTimerCtr > RECIRC_TIMEOUT) ==> 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:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:<<MAX>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Test Case: handleRecircRecircState.006
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.006
TEST.MCDC_BASIS_PATH:9 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> FALSE
      (3) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
      (4) if (recircTimeoutWarningGiven != (1) && RECIRC_WARNING_TIMEOUT == recircTimerCtr) ==> 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.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:15600
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Test Case: handleRecircRecircState.007
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.007
TEST.MCDC_BASIS_PATH:8 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> FALSE
      (3) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
      (4) if (recircTimeoutWarningGiven != (1) && RECIRC_WARNING_TIMEOUT == recircTimerCtr) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:15600
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:1
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.END

-- Subprogram: handleRecircReconnectUserAction

-- Test Case: handleRecircReconnectUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircReconnectUserAction
TEST.NEW
TEST.NAME:handleRecircReconnectUserAction.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((TREATMENT_RECIRC_RECIRC_STATE) == treatmentRecircState) ==> 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:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: handleRecircReconnectUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircReconnectUserAction
TEST.NEW
TEST.NAME:handleRecircReconnectUserAction.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((TREATMENT_RECIRC_RECIRC_STATE) == treatmentRecircState) ==> 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:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_STOPPED_STATE
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handleRecircResumeUserAction

-- Test Case: handleRecircResumeUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircResumeUserAction
TEST.NEW
TEST.NAME:handleRecircResumeUserAction.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> 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:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_STOPPED_STATE
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: handleRecircResumeUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircResumeUserAction
TEST.NEW
TEST.NAME:handleRecircResumeUserAction.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> 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:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handleRecircStoppedState

-- Test Case: handleRecircStoppedState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.001
TEST.MCDC_BASIS_PATH:2 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == recircBackToTreatmenRequested) ==> 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:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:1
TEST.END

-- Test Case: handleRecircStoppedState.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.002
TEST.MCDC_BASIS_PATH:4 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> 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:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:1
TEST.END

-- Test Case: handleRecircStoppedState.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.003
TEST.MCDC_BASIS_PATH:6 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> FALSE
      (3) if ((1) == recircResumeRequested) ==> 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:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:1
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.END

-- Test Case: handleRecircStoppedState.004
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.004
TEST.MCDC_BASIS_PATH:8 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> FALSE
      (3) if ((1) == recircResumeRequested) ==> FALSE
      (4) if (recircTimerCtr > RECIRC_TIMEOUT) ==> 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:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:<<MAX>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.END

-- Test Case: handleRecircStoppedState.005
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.005
TEST.MCDC_BASIS_PATH:10 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> FALSE
      (3) if ((1) == recircResumeRequested) ==> FALSE
      (4) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
      (5) if (recircTimeoutWarningGiven != (1) && recircTimerCtr > RECIRC_WARNING_TIMEOUT) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #5, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:15601
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.END

-- Test Case: handleRecircStoppedState.006
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.006
TEST.MCDC_BASIS_PATH:11 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> FALSE
      (3) if ((1) == recircResumeRequested) ==> FALSE
      (4) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
      (5) if (recircTimeoutWarningGiven != (1) && recircTimerCtr > RECIRC_WARNING_TIMEOUT) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.END

-- Test Case: handleRecircStoppedState.007
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.007
TEST.MCDC_BASIS_PATH:9 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> FALSE
      (3) if ((1) == recircResumeRequested) ==> FALSE
      (4) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
      (5) if (recircTimeoutWarningGiven != (1) && recircTimerCtr > RECIRC_WARNING_TIMEOUT) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:15601
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:1
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.END

-- Subprogram: initTreatmentRecirc

-- Test Case: initTreatmentRecirc.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:initTreatmentRecirc
TEST.NEW
TEST.NAME:initTreatmentRecirc.001
TEST.END

-- Subprogram: publishTreatmentRecircData

-- Test Case: publishTreatmentRecircData.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:publishTreatmentRecircData
TEST.NEW
TEST.NAME:publishTreatmentRecircData.001
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircPublishTimerCtr:20
TEST.END

-- Test Case: publishTreatmentRecircData.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:publishTreatmentRecircData
TEST.NEW
TEST.NAME:publishTreatmentRecircData.002
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:18000
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircPublishTimerCtr:20
TEST.END

-- Test Case: publishTreatmentRecircData.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:publishTreatmentRecircData
TEST.NEW
TEST.NAME:publishTreatmentRecircData.003
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++recircPublishTimerCtr >= RECIRC_DATA_PUBLISH_INTERVAL) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Subprogram: resetTreatmentRecircFlags

-- Test Case: resetTreatmentRecircFlags.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:resetTreatmentRecircFlags
TEST.NEW
TEST.NAME:resetTreatmentRecircFlags.001
TEST.END

-- Subprogram: setupForRecirculationState

-- Test Case: setupForRecirculationState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:setupForRecirculationState
TEST.NEW
TEST.NAME:setupForRecirculationState.001
TEST.END

-- Subprogram: setupForRecirculationStopState

-- Test Case: setupForRecirculationStopState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:setupForRecirculationStopState
TEST.NEW
TEST.NAME:setupForRecirculationStopState.001
TEST.END

-- Subprogram: signalTreatmentRecircUserAction

-- Test Case: signalTreatmentRecircUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.001
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:REQUESTED_USER_ACTION_TX_RECIRC_CONFIRM_RECONNECT
TEST.END

-- Test Case: signalTreatmentRecircUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.002
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:REQUESTED_USER_ACTION_TX_RECIRC_RESUME_RC
TEST.END

-- Test Case: signalTreatmentRecircUserAction.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.003
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:REQUESTED_USER_ACTION_TX_RECIRC_END_TREATMENT
TEST.END

-- Test Case: signalTreatmentRecircUserAction.004
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.004
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:NUM_OF_REQUESTED_TX_RECIRC_USER_ACTIONS
TEST.END

-- Test Case: signalTreatmentRecircUserAction.005
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.005
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:TreatmentRecirc.signalTreatmentRecircUserAction.action:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.END

-- Test Case: signalTreatmentRecircUserAction.006
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.006
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:TreatmentRecirc.signalTreatmentRecircUserAction.action:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1
TEST.END

-- Subprogram: transitionToTreatmentRecirc

-- Test Case: transitionToTreatmentRecirc.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:transitionToTreatmentRecirc
TEST.NEW
TEST.NAME:transitionToTreatmentRecirc.001
TEST.END