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

-- Subprogram: execTreatmentStop

-- Test Case: execTreatmentStop.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.001
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getRinsebackCompleted() != (1)) ==> 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:TreatmentStop.handleTreatmentStopRecircState
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECIRC_STATE
TEST.VALUE:TreatmentStop.handleTreatmentStopRecircState.return:TREATMENT_STOP_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECIRC_STATE
TEST.END

-- Test Case: execTreatmentStop.002
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.002
TEST.BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) case currentTxStopState ==> TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECIRC_STATE
TEST.END

-- Test Case: execTreatmentStop.003
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.003
TEST.BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (3) case currentTxStopState ==> TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECIRC_STATE
TEST.END

-- Test Case: execTreatmentStop.004
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.004
TEST.STUB:TreatmentStop.handleTreatmentStopNoRecircState
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_NO_RECIRC_STATE
TEST.VALUE:TreatmentStop.handleTreatmentStopNoRecircState.return:TREATMENT_STOP_NO_RECIRC_STATE
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_NO_RECIRC_STATE
TEST.END

-- Test Case: execTreatmentStop.005
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.005
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:NUM_OF_TREATMENT_STOP_STATES
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:100
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.currentTxStopState:NUM_OF_TREATMENT_STOP_STATES
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:100
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:5
TEST.END

-- Test Case: execTreatmentStop.006
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.006
TEST.BASIS_PATH:1 of 7 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (6) case currentTxStopState ==> default
      (7) if (priorSubState != currentTxStopState) ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( TreatmentStop.<<GLOBAL>>.currentTxStopState ) in branches 1/7
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:NUM_OF_TREATMENT_STOP_STATES
TEST.END

-- Test Case: execTreatmentStop.007
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.007
TEST.BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (6) case currentTxStopState ==> default
      (7) if (priorSubState != currentTxStopState) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:NUM_OF_TREATMENT_STOP_STATES
TEST.END

-- Test Case: execTreatmentStop.008
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.008
TEST.BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) case currentTxStopState ==> TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
      (7) if (priorSubState != currentTxStopState) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.VALUE:TreatmentStop.handleTreatmentStopRecircState.return:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.END

-- Test Case: execTreatmentStop.009
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.009
TEST.BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (4) case currentTxStopState ==> TREATMENT_STOP_NO_RECIRC_STATE
      (7) if (priorSubState != currentTxStopState) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_NO_RECIRC_STATE
TEST.VALUE:TreatmentStop.handleTreatmentStopRecircState.return:TREATMENT_STOP_NO_RECIRC_STATE
TEST.END

-- Test Case: execTreatmentStop.010
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:execTreatmentStop
TEST.NEW
TEST.NAME:execTreatmentStop.010
TEST.BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (5) case currentTxStopState ==> TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE
      (7) if (priorSubState != currentTxStopState) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE
TEST.VALUE:TreatmentStop.handleTreatmentStopRecircState.return:TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE
TEST.END

-- Subprogram: getCurrentTreatmentStopState

-- Test Case: getCurrentTreatmentStopState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:getCurrentTreatmentStopState
TEST.NEW
TEST.NAME:getCurrentTreatmentStopState.001
TEST.VALUE:TreatmentStop.getCurrentTreatmentStopState.return:NUM_OF_TREATMENT_STOP_STATES
TEST.EXPECTED:TreatmentStop.getCurrentTreatmentStopState.return:TREATMENT_STOP_RECIRC_STATE
TEST.END

-- Subprogram: handleTreatmentStopAlarmsAndSignals

-- Test Case: handleTreatmentStopAlarmsAndSignals.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.001
TEST.BASIS_PATH:2 of 5 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE
      (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.002
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.002
TEST.BASIS_PATH:4 of 5 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> TRUE
      (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isDialysateRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/3
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/4
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:1
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.003
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.003
TEST.BASIS_PATH:5 of 5 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> TRUE
      (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE
      (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/3
      Conflict: Trying to set variable uut_prototype_stubs.isDialysateRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:0
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.004
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.004
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> TRUE
      (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isDialysateRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/3
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/4
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:0
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.005
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.005
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE
      (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.006
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE
      (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_NO_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_NO_RECIRC_STATE
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_NO_RECIRC_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.007
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.007
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE
      (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.STUB:TreatmentStop.setupForBloodRecirculationStopState
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:1
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:0
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.008
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.008
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE
      (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.STUB:TreatmentStop.setupForBloodRecirculationStopState
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:1
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_NO_RECIRC_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.009
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.009
TEST.BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((((TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE) != state && dialysateRecircBlocked != (1)) && (1) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT)) && (0) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_DETECTED)) ==> FALSE
      (2) if (((TREATMENT_STOP_RECIRC_STATE) != state && (0) == dialysateRecircBlocked) && (0) == bloodRecircBlocked) ==> FALSE
      (3) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && (1) == dialysateRecircBlocked) && (1) == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && (1) == dialysateRecircBlocked) && (0) == bloodRecircBlocked) ==> FALSE
      (5) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && (1) == bloodRecircBlocked) && (0) == dialysateRecircBlocked) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:2
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.010
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.010
TEST.BASIS_PATH:3 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((((TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE) != state && dialysateRecircBlocked != (1)) && (1) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT)) && (0) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_DETECTED)) ==> FALSE
      (2) if (((TREATMENT_STOP_RECIRC_STATE) != state && (0) == dialysateRecircBlocked) && (0) == bloodRecircBlocked) ==> FALSE
      (3) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && (1) == dialysateRecircBlocked) && (1) == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && (1) == dialysateRecircBlocked) && (0) == bloodRecircBlocked) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 2/4
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_NO_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:2
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_NO_RECIRC_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.011
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.011
TEST.BASIS_PATH:6 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((((TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE) != state && dialysateRecircBlocked != (1)) && (1) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT)) && (0) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_DETECTED)) ==> TRUE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (uut_prototype_stubs.isAlarmActive.return) in branch 1
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:<<MIN>>
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.012
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.012
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (((TREATMENT_STOP_RECIRC_STATE) != state && 0 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (2) if (((TREATMENT_STOP_NO_RECIRC_STATE) != state && 1 == dialysateRecircBlocked) && 1 == bloodRecircBlocked) ==> FALSE
      (3) if (((TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE) != state && 1 == dialysateRecircBlocked) && 0 == bloodRecircBlocked) ==> FALSE
      (4) if (((TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE) != state && 1 == bloodRecircBlocked) && 0 == dialysateRecircBlocked) ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isBloodRecircBlocked.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.VALUE:uut_prototype_stubs.isBloodRecircBlocked.return:2
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:1
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.END

-- Test Case: handleTreatmentStopAlarmsAndSignals.013
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopAlarmsAndSignals
TEST.NEW
TEST.NAME:handleTreatmentStopAlarmsAndSignals.013
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((((TREATMENT_STOP_RECOVER_BLOOD_DETECT_STATE) != state && dialysateRecircBlocked != (1)) && (1) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_RECOVERING_PLEASE_WAIT)) && (0) == isAlarmActive(ALARM_ID_HD_BLOOD_LEAK_DETECTED)) ==> TRUE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (uut_prototype_stubs.isAlarmActive.return) in branch 1
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.isDialysateRecircBlocked.return:<<MIN>>
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_STATE
TEST.END

-- Subprogram: handleTreatmentStopBloodRecircState

-- Test Case: handleTreatmentStopBloodRecircState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopBloodRecircState
TEST.NEW
TEST.NAME:handleTreatmentStopBloodRecircState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.STUB:TreatmentStop.handleTreatmentStopAlarmsAndSignals
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.EXPECTED:TreatmentStop.handleTreatmentStopBloodRecircState.return:TREATMENT_STOP_RECIRC_BLOOD_ONLY_STATE
TEST.END

-- Subprogram: handleTreatmentStopBloodSittingTimer

-- Test Case: handleTreatmentStopBloodSittingTimer.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopBloodSittingTimer
TEST.NEW
TEST.NAME:handleTreatmentStopBloodSittingTimer.001
TEST.BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getRinsebackCompleted() != (1)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:0
TEST.END

-- Test Case: handleTreatmentStopBloodSittingTimer.002
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopBloodSittingTimer
TEST.NEW
TEST.NAME:handleTreatmentStopBloodSittingTimer.002
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:4800
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:4801
TEST.END

-- Test Case: handleTreatmentStopBloodSittingTimer.003
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopBloodSittingTimer
TEST.NEW
TEST.NAME:handleTreatmentStopBloodSittingTimer.003
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:6000
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:6001
TEST.END

-- Test Case: handleTreatmentStopBloodSittingTimer.004
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopBloodSittingTimer
TEST.NEW
TEST.NAME:handleTreatmentStopBloodSittingTimer.004
TEST.BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (getRinsebackCompleted() != (1)) ==> TRUE
      (2) if ((0) == doesAlarmStatusIndicateEndTxOnly()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateEndTxOnly.return:1
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.END

-- Test Case: handleTreatmentStopBloodSittingTimer.005
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopBloodSittingTimer
TEST.NEW
TEST.NAME:handleTreatmentStopBloodSittingTimer.005
TEST.BASIS_PATH:3 of 5 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (getRinsebackCompleted() != (1)) ==> TRUE
      (2) if ((0) == doesAlarmStatusIndicateEndTxOnly()) ==> TRUE
      (3) if (bloodSittingTimerCtr > ((4 * 60) * 1000) / 50) ==> FALSE
      (4) if (bloodSittingTimerCtr > ((5 * 60) * 1000) / 50) ==> FALSE
   Test Case Generation Notes:
      Cannot set bloodSittingTimerCtr due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateEndTxOnly.return:0
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.END

-- Test Case: handleTreatmentStopBloodSittingTimer.006
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopBloodSittingTimer
TEST.NEW
TEST.NAME:handleTreatmentStopBloodSittingTimer.006
TEST.BASIS_PATH:4 of 5 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getRinsebackCompleted() != (1)) ==> TRUE
      (2) if ((0) == doesAlarmStatusIndicateEndTxOnly()) ==> TRUE
      (3) if (bloodSittingTimerCtr > ((4 * 60) * 1000) / 50) ==> FALSE
      (4) if (bloodSittingTimerCtr > ((5 * 60) * 1000) / 50) ==> TRUE
   Test Case Generation Notes:
      Cannot set bloodSittingTimerCtr due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateEndTxOnly.return:0
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.END

-- Test Case: handleTreatmentStopBloodSittingTimer.007
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopBloodSittingTimer
TEST.NEW
TEST.NAME:handleTreatmentStopBloodSittingTimer.007
TEST.BASIS_PATH:5 of 5 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (getRinsebackCompleted() != (1)) ==> TRUE
      (2) if ((0) == doesAlarmStatusIndicateEndTxOnly()) ==> TRUE
      (3) if (bloodSittingTimerCtr > ((4 * 60) * 1000) / 50) ==> TRUE
      (4) if (bloodSittingTimerCtr > ((5 * 60) * 1000) / 50) ==> FALSE
   Test Case Generation Notes:
      Cannot set bloodSittingTimerCtr due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateEndTxOnly.return:0
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.END

-- Subprogram: handleTreatmentStopDialysateRecircState

-- Test Case: handleTreatmentStopDialysateRecircState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopDialysateRecircState
TEST.NEW
TEST.NAME:handleTreatmentStopDialysateRecircState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.STUB:TreatmentStop.handleTreatmentStopAlarmsAndSignals
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.VALUE:TreatmentStop.handleTreatmentStopAlarmsAndSignals.return:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.EXPECTED:TreatmentStop.handleTreatmentStopAlarmsAndSignals.state:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.EXPECTED:TreatmentStop.handleTreatmentStopDialysateRecircState.return:TREATMENT_STOP_RECIRC_DIALYSATE_ONLY_STATE
TEST.END

-- Subprogram: handleTreatmentStopNoRecircState

-- Test Case: handleTreatmentStopNoRecircState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopNoRecircState
TEST.NEW
TEST.NAME:handleTreatmentStopNoRecircState.001
TEST.VALUE:TreatmentStop.handleTreatmentStopNoRecircState.return:TREATMENT_STOP_NO_RECIRC_STATE
TEST.EXPECTED:TreatmentStop.handleTreatmentStopNoRecircState.return:TREATMENT_STOP_RECIRC_STATE
TEST.END

-- Subprogram: handleTreatmentStopRecircState

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

-- Subprogram: handleTreatmentStopRecoverBloodDetectState

-- Test Case: handleTreatmentStopRecoverBloodDetectState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:handleTreatmentStopRecoverBloodDetectState
TEST.NEW
TEST.NAME:handleTreatmentStopRecoverBloodDetectState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.END

-- Subprogram: initTreatmentStop

-- Test Case: initTreatmentStop.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:initTreatmentStop
TEST.NEW
TEST.NAME:initTreatmentStop.001
TEST.VALUE:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECIRC_STATE
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:0
TEST.VALUE:TreatmentStop.<<GLOBAL>>.stopPublishTimerCtr:20
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.currentTxStopState:TREATMENT_STOP_RECIRC_STATE
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:0
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.stopPublishTimerCtr:20
TEST.END

-- Subprogram: publishTreatmentStopData

-- Test Case: publishTreatmentStopData.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> 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.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.VALUE:uut_prototype_stubs.broadcastData.length:8
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8
TEST.END

-- Test Case: publishTreatmentStopData.002
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.002
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> 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.getU32OverrideValue.ovU32[0].data:20
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovInitData:20
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovData:20
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.ovU32[0].override:0
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MAX>>
TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].data:20
TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovInitData:20
TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].ovData:20
TEST.EXPECTED:uut_prototype_stubs.getU32OverrideValue.ovU32[0].override:0
TEST.END

-- Test Case: publishTreatmentStopData.003
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.003
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if (getRinsebackCompleted() != (1)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.stopPublishTimerCtr:0
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.VALUE:uut_prototype_stubs.broadcastData.length:8
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.stopPublishTimerCtr:0
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8
TEST.END

-- Test Case: publishTreatmentStopData.004
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.004
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if (getRinsebackCompleted() != (1)) ==> TRUE
      (3) (bloodSittingTimerCtr >= MAX_TIME_BLOOD_SITTING) ==> 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:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.VALUE:uut_prototype_stubs.broadcastData.length:8
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8
TEST.END

-- Test Case: publishTreatmentStopData.005
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.005
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if (getRinsebackCompleted() != (1)) ==> TRUE
      (3) (bloodSittingTimerCtr >= MAX_TIME_BLOOD_SITTING) ==> 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:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:5900
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.VALUE:uut_prototype_stubs.broadcastData.length:8
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TREATMENT_STOP_TIMER_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8
TEST.END

-- Test Case: publishTreatmentStopData.006
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.006
TEST.BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MAX>>
TEST.END

-- Test Case: publishTreatmentStopData.007
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.007
TEST.BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1
TEST.END

-- Test Case: publishTreatmentStopData.008
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.008
TEST.BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE
      (3) if (bloodSittingTimerCtr > (0)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:0
TEST.END

-- Test Case: publishTreatmentStopData.009
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.009
TEST.BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE
      (3) if (bloodSittingTimerCtr > (0)) ==> TRUE
      (4) if (bloodSittingTimerCtr >= ((5 * 60) * 1000) / 50) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:1
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:1
TEST.END

-- Test Case: publishTreatmentStopData.010
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.010
TEST.BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE
      (3) if (bloodSittingTimerCtr > (0)) ==> TRUE
      (4) if (bloodSittingTimerCtr >= ((5 * 60) * 1000) / 50) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:4294967295
TEST.END

-- Test Case: publishTreatmentStopData.011
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.011
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE
      (3) if (bloodSittingTimerCtr > (0)) ==> TRUE
      (4) if (bloodSittingTimerCtr >= ((5 * 60) * 1000) / 50) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MAX>>
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:4294967295
TEST.END

-- Test Case: publishTreatmentStopData.012
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:publishTreatmentStopData
TEST.NEW
TEST.NAME:publishTreatmentStopData.012
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (++stopPublishTimerCtr >= getU32OverrideValue(&treatmentStopPublishInterval)) ==> TRUE
      (2) if ((getRinsebackCompleted() != (1) && isAlarmActive(ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM) != (1)) && isAlarmActive(ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK) != (1)) ==> TRUE
      (3) if (bloodSittingTimerCtr > (0)) ==> TRUE
      (4) if (bloodSittingTimerCtr >= ((5 * 60) * 1000) / 50) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isAlarmActive.alarm:ALARM_ID_HD_TREATMENT_STOPPED_NO_RINSEBACK
TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MAX>>
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:4294967295
TEST.END

-- Subprogram: setupForBloodRecirculationState

-- Test Case: setupForBloodRecirculationState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:setupForBloodRecirculationState
TEST.NEW
TEST.NAME:setupForBloodRecirculationState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:1
TEST.VALUE:uut_prototype_stubs.doorClosedRequired.door:0
TEST.VALUE:uut_prototype_stubs.doorClosedRequired.pumpTrack:0
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:0
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.bloodSittingTimerCtr:0
TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1
TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:1
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN
TEST.END

-- Subprogram: setupForBloodRecirculationStopState

-- Test Case: setupForBloodRecirculationStopState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:setupForBloodRecirculationStopState
TEST.NEW
TEST.NAME:setupForBloodRecirculationStopState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.END

-- Subprogram: setupForDialysateRecirculationState

-- Test Case: setupForDialysateRecirculationState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:setupForDialysateRecirculationState
TEST.NEW
TEST.NAME:setupForDialysateRecirculationState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.return:0
TEST.VALUE:uut_prototype_stubs.doorClosedRequired.door:0
TEST.VALUE:uut_prototype_stubs.doorClosedRequired.pumpTrack:0
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:250
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP
TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1
TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:1
TEST.END

-- Subprogram: setupForDialysateRecirculationStopState

-- Test Case: setupForDialysateRecirculationStopState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:setupForDialysateRecirculationStopState
TEST.NEW
TEST.NAME:setupForDialysateRecirculationStopState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.END

-- Subprogram: setupForRecoverBloodDetectState

-- Test Case: setupForRecoverBloodDetectState.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:setupForRecoverBloodDetectState
TEST.NEW
TEST.NAME:setupForRecoverBloodDetectState.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.END

-- Subprogram: testResetTreatmentStopPublishIntervalOverride

-- Test Case: testResetTreatmentStopPublishIntervalOverride.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:testResetTreatmentStopPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetTreatmentStopPublishIntervalOverride.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentStop.<<GLOBAL>>.treatmentStopPublishInterval.ovInitData:100
TEST.VALUE:TreatmentStop.<<GLOBAL>>.treatmentStopPublishInterval.override:0x0
TEST.VALUE:TreatmentStop.testResetTreatmentStopPublishIntervalOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.treatmentStopPublishInterval.ovData:100
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.treatmentStopPublishInterval.override:0x0
TEST.EXPECTED:TreatmentStop.testResetTreatmentStopPublishIntervalOverride.return:1
TEST.END

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

-- Subprogram: testSetTreatmentStopPublishIntervalOverride

-- Test Case: testSetTreatmentStopPublishIntervalOverride.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:testSetTreatmentStopPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetTreatmentStopPublishIntervalOverride.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:TreatmentStop.testResetTreatmentStopPublishIntervalOverride
TEST.VALUE:TreatmentStop.<<GLOBAL>>.treatmentStopPublishInterval.data:20
TEST.VALUE:TreatmentStop.<<GLOBAL>>.treatmentStopPublishInterval.override:0xCCC33C33
TEST.VALUE:TreatmentStop.testSetTreatmentStopPublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:TreatmentStop.testSetTreatmentStopPublishIntervalOverride.return:1
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.treatmentStopPublishInterval.data:20
TEST.EXPECTED:TreatmentStop.<<GLOBAL>>.treatmentStopPublishInterval.override:0xCCC33C33
TEST.EXPECTED:TreatmentStop.testSetTreatmentStopPublishIntervalOverride.return:1
TEST.END

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

-- Subprogram: transitionToTreatmentStop

-- Test Case: transitionToTreatmentStop.001
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:transitionToTreatmentStop
TEST.NEW
TEST.NAME:transitionToTreatmentStop.001
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == getRinsebackCompleted()) ==> 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.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_STOPPED_AFTER_RINSEBACK
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME,ALARM_USER_ACTION_RINSEBACK,ALARM_USER_ACTION_END_TREATMENT
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1,0,1
TEST.VALUE:uut_prototype_stubs.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_CANCEL
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:100
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:1
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_STOPPED_AFTER_RINSEBACK
TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME,ALARM_USER_ACTION_RINSEBACK,ALARM_USER_ACTION_END_TREATMENT
TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1,0,1
TEST.EXPECTED:uut_prototype_stubs.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_CANCEL
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:250
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,(2)VALVE_POSITION_B_OPEN
TEST.END

-- Test Case: transitionToTreatmentStop.002
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:transitionToTreatmentStop
TEST.NEW
TEST.NAME:transitionToTreatmentStop.002
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == getRinsebackCompleted()) ==> 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.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_STOPPED_BY_USER
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME,ALARM_USER_ACTION_RINSEBACK,ALARM_USER_ACTION_END_TREATMENT
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1
TEST.VALUE:uut_prototype_stubs.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_CANCEL
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_STOPPED_BY_USER
TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME,ALARM_USER_ACTION_RINSEBACK,ALARM_USER_ACTION_END_TREATMENT
TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1
TEST.EXPECTED:uut_prototype_stubs.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_CANCEL
TEST.END

-- Test Case: transitionToTreatmentStop.003
TEST.UNIT:TreatmentStop
TEST.SUBPROGRAM:transitionToTreatmentStop
TEST.NEW
TEST.NAME:transitionToTreatmentStop.003
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == getRinsebackCompleted()) ==> FALSE
      (2) if ((0) == isAnyAlarmActive()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.getRinsebackCompleted.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,(2)VALVE_POSITION_B_OPEN
TEST.END