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

-- Subprogram: execRinseback

-- Test Case: execRinseback.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:execRinseback
TEST.NEW
TEST.NAME:execRinseback.001
TEST.END

-- Test Case: execRinseback.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:execRinseback
TEST.NEW
TEST.NAME:execRinseback.002
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_RUN_STATE
TEST.END

-- Test Case: execRinseback.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:execRinseback
TEST.NEW
TEST.NAME:execRinseback.003
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_PAUSED_STATE
TEST.END

-- Test Case: execRinseback.004
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:execRinseback
TEST.NEW
TEST.NAME:execRinseback.004
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_STOP_STATE
TEST.END

-- Test Case: execRinseback.005
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:execRinseback
TEST.NEW
TEST.NAME:execRinseback.005
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_RUN_ADDITIONAL_STATE
TEST.END

-- Test Case: execRinseback.006
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:execRinseback
TEST.NEW
TEST.NAME:execRinseback.006
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:NUM_OF_RINSEBACK_STATES
TEST.END

-- Subprogram: getCurrentRinsebackState

-- Test Case: getCurrentRinsebackState.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:getCurrentRinsebackState
TEST.NEW
TEST.NAME:getCurrentRinsebackState.001
TEST.END

-- Subprogram: getPublishRinsebackInterval

-- Test Case: getPublishRinsebackInterval.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:getPublishRinsebackInterval
TEST.NEW
TEST.NAME:getPublishRinsebackInterval.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == rinsebackPublishInterval.override) ==> 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:Rinseback.<<GLOBAL>>.rinsebackPublishInterval.override:3435346995
TEST.END

-- Test Case: getPublishRinsebackInterval.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:getPublishRinsebackInterval
TEST.NEW
TEST.NAME:getPublishRinsebackInterval.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == rinsebackPublishInterval.override) ==> 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:Rinseback.<<GLOBAL>>.rinsebackPublishInterval.override:<<MIN>>
TEST.END

-- Subprogram: getRinsebackVolume

-- Test Case: getRinsebackVolume.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:getRinsebackVolume
TEST.NEW
TEST.NAME:getRinsebackVolume.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == cumulativeRinsebackVolume_mL.override) ==> 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:Rinseback.<<GLOBAL>>.cumulativeRinsebackVolume_mL.override:3435346995
TEST.END

-- Test Case: getRinsebackVolume.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:getRinsebackVolume
TEST.NEW
TEST.NAME:getRinsebackVolume.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == cumulativeRinsebackVolume_mL.override) ==> 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:Rinseback.<<GLOBAL>>.cumulativeRinsebackVolume_mL.override:<<MIN>>
TEST.END

-- Subprogram: handleAdditionalRinsebackUserAction

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

-- Test Case: handleAdditionalRinsebackUserAction.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction
TEST.NEW
TEST.NAME:handleAdditionalRinsebackUserAction.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((RINSEBACK_STOP_STATE) == rinsebackState) ==> 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:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_STOP_INIT_STATE
TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: handleAdditionalRinsebackUserAction.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction
TEST.NEW
TEST.NAME:handleAdditionalRinsebackUserAction.003
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((RINSEBACK_STOP_STATE) == rinsebackState) ==> TRUE
      (2) if (totalAdditionalRinsebackVolume_mL + (10.0) <= (300.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_STOP_STATE
TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handleBackToTreatmentUserAction

-- Test Case: handleBackToTreatmentUserAction.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleBackToTreatmentUserAction
TEST.NEW
TEST.NAME:handleBackToTreatmentUserAction.001
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTreatmentCompleted()) ==> 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:Rinseback.handleBackToTreatmentUserAction.rejReason:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:1
TEST.END

-- Test Case: handleBackToTreatmentUserAction.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleBackToTreatmentUserAction
TEST.NEW
TEST.NAME:handleBackToTreatmentUserAction.002
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTreatmentCompleted()) ==> 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:Rinseback.handleBackToTreatmentUserAction.rejReason:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<<MIN>>
TEST.END

-- Test Case: handleBackToTreatmentUserAction.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleBackToTreatmentUserAction
TEST.NEW
TEST.NAME:handleBackToTreatmentUserAction.003
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isTreatmentCompleted()) ==> FALSE
      (2) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> 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.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_RUN_STATE
TEST.VALUE:Rinseback.handleBackToTreatmentUserAction.rejReason:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<<MIN>>
TEST.END

-- Subprogram: handleDecrRinsebackUserAction

-- Test Case: handleDecrRinsebackUserAction.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleDecrRinsebackUserAction
TEST.NEW
TEST.NAME:handleDecrRinsebackUserAction.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (rinsebackRate_mL_min - (25) >= (50)) ==> 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.VALUE:Rinseback.handleDecrRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: handleDecrRinsebackUserAction.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleDecrRinsebackUserAction
TEST.NEW
TEST.NAME:handleDecrRinsebackUserAction.002
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (rinsebackRate_mL_min - (25) >= (50)) ==> TRUE
      (2) if ((RINSEBACK_RUN_STATE) == rinsebackState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_RUN_STATE
TEST.VALUE:Rinseback.handleDecrRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handleEndRinsebackUserAction

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

-- Test Case: handleEndRinsebackUserAction.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleEndRinsebackUserAction
TEST.NEW
TEST.NAME:handleEndRinsebackUserAction.002
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((RINSEBACK_RUN_STATE) == rinsebackState || (RINSEBACK_PAUSED_STATE) == rinsebackState) ==> 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 Rinseback.<<GLOBAL>>.rinsebackState 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_STOP_INIT_STATE
TEST.VALUE:Rinseback.handleEndRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: handleEndRinsebackUserAction.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleEndRinsebackUserAction
TEST.NEW
TEST.NAME:handleEndRinsebackUserAction.003
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((RINSEBACK_RUN_STATE) == rinsebackState || (RINSEBACK_PAUSED_STATE) == rinsebackState) ==> 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:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_STOP_INIT_STATE
TEST.VALUE:Rinseback.handleEndRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handleEndTreatmentUserAction

-- Test Case: handleEndTreatmentUserAction.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleEndTreatmentUserAction
TEST.NEW
TEST.NAME:handleEndTreatmentUserAction.001
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> 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:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_RUN_STATE
TEST.VALUE:Rinseback.handleEndTreatmentUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: handleEndTreatmentUserAction.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleEndTreatmentUserAction
TEST.NEW
TEST.NAME:handleEndTreatmentUserAction.002
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> 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:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_STOP_INIT_STATE
TEST.VALUE:Rinseback.handleEndTreatmentUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handleIncrRinsebackUserAction

-- Test Case: handleIncrRinsebackUserAction.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleIncrRinsebackUserAction
TEST.NEW
TEST.NAME:handleIncrRinsebackUserAction.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (rinsebackRate_mL_min + (25) <= (150)) ==> 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.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: handleIncrRinsebackUserAction.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleIncrRinsebackUserAction
TEST.NEW
TEST.NAME:handleIncrRinsebackUserAction.002
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (rinsebackRate_mL_min + (25) <= (150)) ==> TRUE
      (2) if ((RINSEBACK_RUN_STATE) == rinsebackState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_RUN_STATE
TEST.VALUE:Rinseback.handleIncrRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Subprogram: handlePauseRinsebackUserAction

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

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

-- Subprogram: handleResumeRinsebackUserAction

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

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

-- Subprogram: handleRinsebackPausedState

-- Test Case: handleRinsebackPausedState.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackPausedState
TEST.NEW
TEST.NAME:handleRinsebackPausedState.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> 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:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MAX>>
TEST.END

-- Test Case: handleRinsebackPausedState.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackPausedState
TEST.NEW
TEST.NAME:handleRinsebackPausedState.002
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> 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:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.END

-- Test Case: handleRinsebackPausedState.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackPausedState
TEST.NEW
TEST.NAME:handleRinsebackPausedState.003
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> FALSE
      (2) if ((1) == resumeRinsebackRequested) ==> 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:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.resumeRinsebackRequested:1
TEST.END

-- Test Case: handleRinsebackPausedState.004
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackPausedState
TEST.NEW
TEST.NAME:handleRinsebackPausedState.004
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> FALSE
      (2) if ((1) == resumeRinsebackRequested) ==> FALSE
      (3) if ((1) == endRinsebackRequested) ==> 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:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.resumeRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.endRinsebackRequested:1
TEST.END

-- Subprogram: handleRinsebackRunAdditionalState

-- Test Case: handleRinsebackRunAdditionalState.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunAdditionalState
TEST.NEW
TEST.NAME:handleRinsebackRunAdditionalState.001
TEST.MCDC_BASIS_PATH:2 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isSalineBagEmpty()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:1
TEST.END

-- Test Case: handleRinsebackRunAdditionalState.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunAdditionalState
TEST.NEW
TEST.NAME:handleRinsebackRunAdditionalState.002
TEST.MCDC_BASIS_PATH:1 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isSalineBagEmpty()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: handleRinsebackRunAdditionalState.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunAdditionalState
TEST.NEW
TEST.NAME:handleRinsebackRunAdditionalState.003
TEST.MCDC_BASIS_PATH:8 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == isSalineBagEmpty()) ==> FALSE
      (2) if (additionalRinsebackVolume_mL >= (10.0)) ==> FALSE
      (3) if (rinsebackAdditionalTimerCtr >= MAX_RINSEBACK_ADDITIONAL_TIME) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set additionalRinsebackVolume_mL due to assignment
      Cannot set rinsebackAdditionalTimerCtr due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Subprogram: handleRinsebackRunState

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

-- Test Case: handleRinsebackRunState.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:handleRinsebackRunState.002
TEST.MCDC_BASIS_PATH:1 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == endRinsebackRequested) ==> 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:Rinseback.<<GLOBAL>>.endRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: handleRinsebackRunState.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:handleRinsebackRunState.003
TEST.MCDC_BASIS_PATH:4 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.endRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.END

-- Test Case: handleRinsebackRunState.004
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:handleRinsebackRunState.004
TEST.MCDC_BASIS_PATH:6 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.endRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:1
TEST.END

-- Test Case: handleRinsebackRunState.005
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:handleRinsebackRunState.005
TEST.MCDC_BASIS_PATH:5 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.endRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: handleRinsebackRunState.006
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:handleRinsebackRunState.006
TEST.MCDC_BASIS_PATH:8 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> 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:
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.pauseRinsebackRequested:1
TEST.VALUE:Rinseback.<<GLOBAL>>.endRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: handleRinsebackRunState.007
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:handleRinsebackRunState.007
TEST.MCDC_BASIS_PATH:9 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #4, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.pauseRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.endRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Subprogram: handleRinsebackStopInitState

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

-- Test Case: handleRinsebackStopInitState.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStopInitState
TEST.NEW
TEST.NAME:handleRinsebackStopInitState.002
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == startRinsebackRequested) ==> 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:Rinseback.<<GLOBAL>>.startRinsebackRequested:<<MIN>>
TEST.END

-- Test Case: handleRinsebackStopInitState.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStopInitState
TEST.NEW
TEST.NAME:handleRinsebackStopInitState.003
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == startRinsebackRequested) ==> FALSE
      (2) if ((1) == backToTreatmentRequested) ==> 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:Rinseback.<<GLOBAL>>.startRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.backToTreatmentRequested:1
TEST.END

-- Test Case: handleRinsebackStopInitState.004
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStopInitState
TEST.NEW
TEST.NAME:handleRinsebackStopInitState.004
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == startRinsebackRequested) ==> FALSE
      (2) if ((1) == backToTreatmentRequested) ==> FALSE
      (3) if ((1) == endTreatmentRequested) ==> 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:Rinseback.<<GLOBAL>>.startRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.backToTreatmentRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.endTreatmentRequested:1
TEST.END

-- Test Case: handleRinsebackStopInitState.005
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStopInitState
TEST.NEW
TEST.NAME:handleRinsebackStopInitState.005
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == startRinsebackRequested) ==> FALSE
      (2) if ((1) == backToTreatmentRequested) ==> FALSE
      (3) if ((1) == endTreatmentRequested) ==> FALSE
      (4) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME) ==> 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:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MAX>>
TEST.VALUE:Rinseback.<<GLOBAL>>.startRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.backToTreatmentRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.endTreatmentRequested:<<MIN>>
TEST.END

-- Subprogram: handleRinsebackStoppedState

-- Test Case: handleRinsebackStoppedState.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.001
TEST.MCDC_BASIS_PATH:2 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MAX>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: handleRinsebackStoppedState.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.002
TEST.MCDC_BASIS_PATH:3 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MAX>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.END

-- Test Case: handleRinsebackStoppedState.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.003
TEST.MCDC_BASIS_PATH:1 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: handleRinsebackStoppedState.004
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.004
TEST.MCDC_BASIS_PATH:8 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE
      (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable Rinseback.<<GLOBAL>>.rinsebackTimerCtr 'less than' and 'greater than' same value in branches 1/3
      Conflict: Trying to set variable Rinseback.getRinsebackVolume.return 'less than' and 'greater than' same value in branches 2/3
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:15600
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.END

-- Test Case: handleRinsebackStoppedState.005
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.005
TEST.MCDC_BASIS_PATH:11 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE
      (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE
      (4) if ((1) == recircRequested) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.recircRequested:1
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: handleRinsebackStoppedState.006
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.006
TEST.MCDC_BASIS_PATH:13 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE
      (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE
      (4) if ((1) == recircRequested) ==> FALSE
      (5) if ((1) == additionalRinsebackRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.additionalRinsebackRequested:1
TEST.VALUE:Rinseback.<<GLOBAL>>.recircRequested:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: handleRinsebackStoppedState.007
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.007
TEST.MCDC_BASIS_PATH:20 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE
      (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE
      (4) if ((1) == recircRequested) ==> FALSE
      (5) if ((1) == additionalRinsebackRequested) ==> TRUE
      (6) if (rinsebackTimerCtr < MAX_RINSEBACK_TIME || getRinsebackVolume() >= (300.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #6, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable Rinseback.getRinsebackVolume.return 'less than' and 'greater than' same value in branches 3/6
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:6000
TEST.VALUE:Rinseback.<<GLOBAL>>.additionalRinsebackRequested:1
TEST.VALUE:Rinseback.<<GLOBAL>>.recircRequested:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.END

-- Test Case: handleRinsebackStoppedState.008
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.008
TEST.MCDC_BASIS_PATH:18 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE
      (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE
      (4) if ((1) == recircRequested) ==> FALSE
      (5) if ((1) == additionalRinsebackRequested) ==> TRUE
      (6) if (rinsebackTimerCtr < MAX_RINSEBACK_TIME || getRinsebackVolume() >= (300.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:6000
TEST.VALUE:Rinseback.<<GLOBAL>>.additionalRinsebackRequested:1
TEST.VALUE:Rinseback.<<GLOBAL>>.recircRequested:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: handleRinsebackStoppedState.009
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.009
TEST.MCDC_BASIS_PATH:15 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE
      (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE
      (4) if ((1) == recircRequested) ==> FALSE
      (5) if ((1) == additionalRinsebackRequested) ==> FALSE
      (7) if ((1) == backToTreatmentRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.additionalRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.recircRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.backToTreatmentRequested:1
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: handleRinsebackStoppedState.010
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:handleRinsebackStoppedState.010
TEST.MCDC_BASIS_PATH:17 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE
      (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if (RINSEBACK_DONE_WARNING_TIME == rinsebackTimerCtr && getRinsebackVolume() >= (300.0)) ==> FALSE
      (4) if ((1) == recircRequested) ==> FALSE
      (5) if ((1) == additionalRinsebackRequested) ==> FALSE
      (7) if ((1) == backToTreatmentRequested) ==> FALSE
      (8) if ((1) == endTreatmentRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.additionalRinsebackRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.recircRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.backToTreatmentRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.endTreatmentRequested:1
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Subprogram: handleStartRinsebackUserAction

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

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

-- Subprogram: handleToRecircUserAction

-- Test Case: handleToRecircUserAction.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleToRecircUserAction
TEST.NEW
TEST.NAME:handleToRecircUserAction.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTreatmentCompleted()) ==> 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:Rinseback.handleToRecircUserAction.rejReason:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:1
TEST.END

-- Test Case: handleToRecircUserAction.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleToRecircUserAction
TEST.NEW
TEST.NAME:handleToRecircUserAction.002
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTreatmentCompleted()) ==> 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:Rinseback.handleToRecircUserAction.rejReason:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<<MIN>>
TEST.END

-- Test Case: handleToRecircUserAction.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleToRecircUserAction
TEST.NEW
TEST.NAME:handleToRecircUserAction.003
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isTreatmentCompleted()) ==> FALSE
      (2) if ((RINSEBACK_STOP_STATE) != rinsebackState) ==> 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:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_STOP_STATE
TEST.VALUE:Rinseback.handleToRecircUserAction.rejReason:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<<MIN>>
TEST.END

-- Test Case: handleToRecircUserAction.004
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleToRecircUserAction
TEST.NEW
TEST.NAME:handleToRecircUserAction.004
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isTreatmentCompleted()) ==> FALSE
      (2) if ((RINSEBACK_STOP_STATE) != rinsebackState) ==> FALSE
      (3) if (getRinsebackVolume() < (300.0)) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_STOP_STATE
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.VALUE:Rinseback.handleToRecircUserAction.rejReason:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<<MIN>>
TEST.END

-- Subprogram: initRinseback

-- Test Case: initRinseback.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:initRinseback
TEST.NEW
TEST.NAME:initRinseback.001
TEST.END

-- Subprogram: publishRinsebackData

-- Test Case: publishRinsebackData.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:publishRinsebackData.001
TEST.MCDC_BASIS_PATH:2 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> 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:Rinseback.getPublishRinsebackInterval
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MIN>>
TEST.END

-- Test Case: publishRinsebackData.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:publishRinsebackData.002
TEST.MCDC_BASIS_PATH:1 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> 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.STUB:Rinseback.getPublishRinsebackInterval
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MAX>>
TEST.END

-- Test Case: publishRinsebackData.003
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:publishRinsebackData.003
TEST.MCDC_BASIS_PATH:3 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE
      (2) (getRinsebackVolume() >= (300.0)) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.STUB:Rinseback.getPublishRinsebackInterval
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MIN>>
TEST.END

-- Test Case: publishRinsebackData.004
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:publishRinsebackData.004
TEST.MCDC_BASIS_PATH:8 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE
      (3) if (countdown > MAX_RINSEBACK_DONE_TIME) ==> FALSE
      (4) if (rinsebackState > (RINSEBACK_PAUSED_STATE) && getRinsebackVolume() >= (300.0)) ==> 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:
      Cannot set countdown due to assignment
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.STUB:Rinseback.getPublishRinsebackInterval
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:<<MAX>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MIN>>
TEST.END

-- Test Case: publishRinsebackData.005
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:publishRinsebackData.005
TEST.MCDC_BASIS_PATH:9 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE
      (3) if (countdown > MAX_RINSEBACK_DONE_TIME) ==> FALSE
      (4) if (rinsebackState > (RINSEBACK_PAUSED_STATE) && getRinsebackVolume() >= (300.0)) ==> 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:
      Cannot set countdown due to assignment
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.STUB:Rinseback.getPublishRinsebackInterval
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:<<MAX>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MIN>>
TEST.END

-- Test Case: publishRinsebackData.006
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:publishRinsebackData.006
TEST.MCDC_BASIS_PATH:11 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE
      (3) if (countdown > MAX_RINSEBACK_DONE_TIME) ==> FALSE
      (4) if (rinsebackState > (RINSEBACK_PAUSED_STATE) && getRinsebackVolume() >= (300.0)) ==> FALSE
      (5) if ((RINSEBACK_RUN_ADDITIONAL_STATE) == rinsebackState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set countdown due to assignment
      Conflict: Trying to set variable Rinseback.<<GLOBAL>>.rinsebackState 'less than' and 'greater than' same value in branches 4/5
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.STUB:Rinseback.getPublishRinsebackInterval
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_RUN_ADDITIONAL_STATE
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MIN>>
TEST.END

-- Subprogram: resetRinsebackFlags

-- Test Case: resetRinsebackFlags.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:resetRinsebackFlags
TEST.NEW
TEST.NAME:resetRinsebackFlags.001
TEST.END

-- Subprogram: setupForRinsebackDelivery

-- Test Case: setupForRinsebackDelivery.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:setupForRinsebackDelivery
TEST.NEW
TEST.NAME:setupForRinsebackDelivery.001
TEST.END

-- Subprogram: setupForRinsebackStopOrPause

-- Test Case: setupForRinsebackStopOrPause.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:setupForRinsebackStopOrPause
TEST.NEW
TEST.NAME:setupForRinsebackStopOrPause.001
TEST.END

-- Subprogram: signalRinsebackUserAction

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

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

-- Subprogram: testResetRinsebackPublishIntervalOverride

-- Test Case: testResetRinsebackPublishIntervalOverride.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testResetRinsebackPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetRinsebackPublishIntervalOverride.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:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: testResetRinsebackPublishIntervalOverride.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testResetRinsebackPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetRinsebackPublishIntervalOverride.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:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetRinsebackVolumeOverride

-- Test Case: testResetRinsebackVolumeOverride.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testResetRinsebackVolumeOverride
TEST.NEW
TEST.NAME:testResetRinsebackVolumeOverride.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:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: testResetRinsebackVolumeOverride.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testResetRinsebackVolumeOverride
TEST.NEW
TEST.NAME:testResetRinsebackVolumeOverride.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:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetRinsebackPublishIntervalOverride

-- Test Case: testSetRinsebackPublishIntervalOverride.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testSetRinsebackPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetRinsebackPublishIntervalOverride.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:Rinseback.testSetRinsebackPublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: testSetRinsebackPublishIntervalOverride.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testSetRinsebackPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetRinsebackPublishIntervalOverride.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:Rinseback.testSetRinsebackPublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetRinsebackVolumeOverride

-- Test Case: testSetRinsebackVolumeOverride.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testSetRinsebackVolumeOverride
TEST.NEW
TEST.NAME:testSetRinsebackVolumeOverride.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:Rinseback.testSetRinsebackVolumeOverride.vol:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: testSetRinsebackVolumeOverride.002
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testSetRinsebackVolumeOverride
TEST.NEW
TEST.NAME:testSetRinsebackVolumeOverride.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:Rinseback.testSetRinsebackVolumeOverride.vol:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: transitionToRinseback

-- Test Case: transitionToRinseback.001
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:transitionToRinseback
TEST.NEW
TEST.NAME:transitionToRinseback.001
TEST.END