-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:getPublishRinsebackInterval
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 (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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:getPublishRinsebackInterval
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 (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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:getRinsebackVolume
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 (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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:getRinsebackVolume
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 (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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((RINSEBACK_STOP_STATE) == rinsebackState) ==> TRUE
      (2) if (totalAdditionalRinsebackVolume_mL + (10.0) <= (300.0)) ==> 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 2
TEST.END_NOTES:
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackState:RINSEBACK_STOP_STATE
TEST.VALUE:Rinseback.handleAdditionalRinsebackUserAction.rejReason:<<malloc 1>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleAdditionalRinsebackUserAction
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleBackToTreatmentUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleBackToTreatmentUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_2_ROW_1_PAIR_a_TT
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleBackToTreatmentUserAction
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT
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

-- Test Case: COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleBackToTreatmentUserAction
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isTreatmentCompleted()) ==> FALSE
      (2) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Rinseback.<<GLOBAL>>.rinsebackState 'equal to' and 'not equal to' same value in branch 2
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

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleBackToTreatmentUserAction
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isTreatmentCompleted()) ==> FALSE
      (2) if ((RINSEBACK_STOP_INIT_STATE) != rinsebackState && (RINSEBACK_STOP_STATE) != rinsebackState) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, 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.handleBackToTreatmentUserAction.rejReason:<<malloc 1>>
TEST.VALUE:uut_prototype_stubs.isTreatmentCompleted.return:<<MIN>>
TEST.END

-- Subprogram: handleDecrRinsebackUserAction

-- Test Case: COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleDecrRinsebackUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL
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: COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleDecrRinsebackUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (rinsebackRate_mL_min - (25) >= (50)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   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: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleDecrRinsebackUserAction
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
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

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

-- Subprogram: handleEndRinsebackUserAction

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

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleEndTreatmentUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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: COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleIncrRinsebackUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL
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: COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleIncrRinsebackUserAction
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (rinsebackRate_mL_min + (25) <= (150)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   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: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleIncrRinsebackUserAction
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
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

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

-- Subprogram: handlePauseRinsebackUserAction

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

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackPausedState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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

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

-- Subprogram: handleRinsebackRunAdditionalState

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

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

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

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

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunAdditionalState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
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

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunAdditionalState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == isSalineBagEmpty()) ==> FALSE
      (2) if (additionalRinsebackVolume_mL >= (10.0)) ==> FALSE
      (3) if (rinsebackAdditionalTimerCtr >= MAX_RINSEBACK_ADDITIONAL_TIME) ==> FALSE
      (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

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

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

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

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

-- Subprogram: handleRinsebackRunState

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

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
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: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
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: COND_4_ROW_2_PAIR_a_TF
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_TF
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: COND_4_ROW_3_PAIR_b_FT
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_4_ROW_3_PAIR_b_FT
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

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

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 5
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 5
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_TF-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_TF-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> FALSE
      (6) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #6, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 5
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.incrRinsebackFlowRateRequested:1
TEST.VALUE:Rinseback.<<GLOBAL>>.decrRinsebackFlowRateRequested:<<MIN>>
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_6_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> FALSE
      (6) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> 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:
      Cannot set return value of function fabs in branch 5
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.incrRinsebackFlowRateRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.decrRinsebackFlowRateRequested:1
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_4_PAIR_a_FF-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_6_ROW_4_PAIR_a_FF-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> FALSE
      (6) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> 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:
      Cannot set return value of function fabs in branch 5
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.incrRinsebackFlowRateRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.decrRinsebackFlowRateRequested:<<MIN>>
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:16 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> FALSE
      (6) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> TRUE
      (7) if ((1) == incrRinsebackFlowRateRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 5
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.incrRinsebackFlowRateRequested:1
TEST.VALUE:Rinseback.<<GLOBAL>>.decrRinsebackFlowRateRequested:1
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:15 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> FALSE
      (6) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> TRUE
      (7) if ((1) == incrRinsebackFlowRateRequested) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 5
      Conflict: Trying to set variable Rinseback.<<GLOBAL>>.incrRinsebackFlowRateRequested 'equal to' and 'not equal to' same value in branches 6/7
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.incrRinsebackFlowRateRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.decrRinsebackFlowRateRequested:1
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> FALSE
      (6) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> TRUE
      (7) if ((1) == incrRinsebackFlowRateRequested) ==> FALSE
      (8) if (rbRate >= (50) && rbRate <= (150)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #8, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set rbRate due to assignment
      Cannot set return value of function fabs in branch 5
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.incrRinsebackFlowRateRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.decrRinsebackFlowRateRequested:1
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:19 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> FALSE
      (6) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> TRUE
      (7) if ((1) == incrRinsebackFlowRateRequested) ==> FALSE
      (8) if (rbRate >= (50) && rbRate <= (150)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set rbRate due to assignment
      Cannot set return value of function fabs in branch 5
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.incrRinsebackFlowRateRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.decrRinsebackFlowRateRequested:1
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackRunState
TEST.NEW
TEST.NAME:COND_8_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:17 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if ((1) == endRinsebackRequested) ==> FALSE
      (2) if (getRinsebackVolume() >= (300.0)) ==> FALSE
      (3) if ((1) == isSalineBagEmpty()) ==> FALSE
      (4) if ((1) == pauseRinsebackRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (5) if (fabs(expectedRinsebackVolume_mL - getRinsebackVolume()) > (60.0)) ==> FALSE
      (6) if ((1) == incrRinsebackFlowRateRequested || (1) == decrRinsebackFlowRateRequested) ==> TRUE
      (7) if ((1) == incrRinsebackFlowRateRequested) ==> FALSE
      (8) if (rbRate >= (50) && rbRate <= (150)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set rbRate due to assignment
      Cannot set return value of function fabs in branch 5
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.incrRinsebackFlowRateRequested:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.decrRinsebackFlowRateRequested:1
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:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isSalineBagEmpty.return:<<MIN>>
TEST.END

-- Subprogram: handleRinsebackStopInitState

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

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

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStopInitState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
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

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

-- Subprogram: handleRinsebackStoppedState

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
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: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
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: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
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: COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE
      (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> 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:
      Conflict: Cannot resolve multiple comparisons ( Rinseback.<<GLOBAL>>.rinsebackTimerCtr ) in branches 1/2
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MAX>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.END

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

-- Test Case: COND_2_ROW_3_PAIR_a_FT
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:4 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (rinsebackTimerCtr > MAX_RINSEBACK_TIME && getRinsebackVolume() < (300.0)) ==> FALSE
      (2) if (rinsebackTimerCtr > MAX_RINSEBACK_DONE_TIME && getRinsebackVolume() >= (300.0)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #2, 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:<<MAX>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_TT-PARTIAL
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: COND_3_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (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
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Rinseback.<<GLOBAL>>.rinsebackTimerCtr 'less than' and 'greater than' same value in branches 1/3
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:15600
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (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
      Row number 3 forms a pair with Row 1 for Condition #3, subcondition "a".
         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 2/3
TEST.END_NOTES:
TEST.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
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: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:10 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (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
      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.STUB:Rinseback.getRinsebackVolume
TEST.VALUE:Rinseback.<<GLOBAL>>.rinsebackTimerCtr:<<MIN>>
TEST.VALUE:Rinseback.<<GLOBAL>>.recircRequested:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
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: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:12 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (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
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   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.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_TF
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:19 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (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 2 forms a pair with Row 4 for Condition #6, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   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: COND_6_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_6_ROW_3_PAIR_b_FT-PARTIAL
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: COND_6_ROW_4_PAIR_a_FF
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_6_ROW_4_PAIR_a_FF
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: COND_7_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T
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: COND_7_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:14 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (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
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   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.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T
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

-- Test Case: COND_8_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleRinsebackStoppedState
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:16 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (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) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   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:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.END

-- Subprogram: handleStartRinsebackUserAction

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

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

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:handleToRecircUserAction
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
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: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
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 (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE
      (2) (getRinsebackVolume() >= (300.0)) ==> 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.STUB:Rinseback.getRinsebackVolume
TEST.STUB:Rinseback.getPublishRinsebackInterval
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MIN>>
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE
      (3) if (countdown > MAX_RINSEBACK_DONE_TIME) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set countdown due to assignment
TEST.END_NOTES:
TEST.STUB:Rinseback.getPublishRinsebackInterval
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (++rinsebackPublishTimerCtr >= getPublishRinsebackInterval()) ==> TRUE
      (3) if (countdown > MAX_RINSEBACK_DONE_TIME) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set countdown due to assignment
TEST.END_NOTES:
TEST.STUB:Rinseback.getPublishRinsebackInterval
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_TT-PARTIAL
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: COND_4_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_b_TF-PARTIAL
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: COND_4_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
TEST.NEW
TEST.NAME:COND_4_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (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 3 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
         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:<<MIN>>
TEST.VALUE:Rinseback.getRinsebackVolume.return:<<MAX>>
TEST.VALUE:Rinseback.getPublishRinsebackInterval.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
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 (++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

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:publishRinsebackData
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 (++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) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> 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:<<MIN>>
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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:signalRinsebackUserAction
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:Rinseback.signalRinsebackUserAction.action:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.END

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

-- Subprogram: testResetRinsebackPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testResetRinsebackPublishIntervalOverride
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 ((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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testResetRinsebackPublishIntervalOverride
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 ((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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testResetRinsebackVolumeOverride
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 ((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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testResetRinsebackVolumeOverride
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 ((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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testSetRinsebackPublishIntervalOverride
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 ((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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testSetRinsebackPublishIntervalOverride
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 ((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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testSetRinsebackVolumeOverride
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 ((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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Rinseback
TEST.SUBPROGRAM:testSetRinsebackVolumeOverride
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 ((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