-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : TREATMENTRECIRC
-- Unit(s) Under Test: TreatmentRecirc
-- 
-- Script Features
TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING
TEST.SCRIPT_FEATURE:CPP_CLASS_OBJECT_REVISION
TEST.SCRIPT_FEATURE:MULTIPLE_UUT_SUPPORT
TEST.SCRIPT_FEATURE:MIXED_CASE_NAMES
TEST.SCRIPT_FEATURE:STATIC_HEADER_FUNCS_IN_UUTS
TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED
--

-- Unit: TreatmentRecirc

-- Subprogram: execTreatmentRecirc

-- Test Case: execTreatmentRecirc.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:execTreatmentRecirc
TEST.NEW
TEST.NAME:execTreatmentRecirc.001
TEST.STUB:TreatmentRecirc.handleRecircRecircState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

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

-- Test Case: execTreatmentRecirc.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:execTreatmentRecirc
TEST.NEW
TEST.NAME:execTreatmentRecirc.003
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:NUM_OF_TREATMENT_RECIRC_STATES
TEST.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:99
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:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:NUM_OF_TREATMENT_RECIRC_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:99
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4
TEST.END

-- Test Case: execTreatmentRecirc.004
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:execTreatmentRecirc
TEST.NEW
TEST.NAME:execTreatmentRecirc.004
TEST.STUB:TreatmentRecirc.handleRecircRecircState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_DISCONNECT_PATIENT_STATE
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_DISCONNECT_PATIENT_STATE
TEST.END

-- Test Case: execTreatmentRecirc.005
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:execTreatmentRecirc
TEST.NEW
TEST.NAME:execTreatmentRecirc.005
TEST.STUB:TreatmentRecirc.handleRecircRecircState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.END

-- Test Case: execTreatmentRecirc.006
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:execTreatmentRecirc
TEST.NEW
TEST.NAME:execTreatmentRecirc.006
TEST.STUB:TreatmentRecirc.handleRecircRecircState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: execTreatmentRecirc.007
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:execTreatmentRecirc
TEST.NEW
TEST.NAME:execTreatmentRecirc.007
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 107 TEST.VALUE:uut_prototype_stubs.getConfirmationRequestStatus.return:CONFIRMATION_REQUEST_STATUS_ACCEPTED
    >>>     >>> Could not find function getConfirmationRequestStatus
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 104 TEST.EXPECTED:uut_prototype_stubs.getConfirmationRequestStatus.request_id:GENERIC_CONFIRM_ID_TREATMENT_END
    >>>     >>> Unknown parameter/object name request_id
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.STUB:TreatmentRecirc.handleRecircRecircState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Subprogram: getCurrentTreatmentRecircState

-- Test Case: getCurrentTreatmentRecircState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:getCurrentTreatmentRecircState
TEST.NEW
TEST.NAME:getCurrentTreatmentRecircState.001
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.getCurrentTreatmentRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Subprogram: handleRecicConfirmReconnectUserAction

-- Test Case: handleRecicConfirmReconnectUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecicConfirmReconnectUserAction
TEST.NEW
TEST.NAME:handleRecicConfirmReconnectUserAction.001
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) if ((TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> FALSE
Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
Condition a ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:0
TEST.VALUE:TreatmentRecirc.handleRecicConfirmReconnectUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentRecirc.handleRecicConfirmReconnectUserAction.return:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:1
TEST.EXPECTED:TreatmentRecirc.handleRecicConfirmReconnectUserAction.return:1
TEST.END

-- Test Case: handleRecicConfirmReconnectUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecicConfirmReconnectUserAction
TEST.NEW
TEST.NAME:handleRecicConfirmReconnectUserAction.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecicConfirmReconnectUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentRecirc.handleRecicConfirmReconnectUserAction.return:0
TEST.EXPECTED:TreatmentRecirc.handleRecicConfirmReconnectUserAction.return:0
TEST.END

-- Subprogram: handleRecircConfirmDisconnectUserAction

-- Test Case: handleRecircConfirmDisconnectUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircConfirmDisconnectUserAction
TEST.NEW
TEST.NAME:handleRecircConfirmDisconnectUserAction.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) if ((TREATMENT_RECIRC_DISCONNECT_PATIENT_STATE) == treatmentRecircState) ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecircConfirmDisconnectUserAction.rejReason:<<malloc 1>>
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircConfirmDisconnectUserAction.rejReason[0]:REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircConfirmDisconnectUserAction.return:0
TEST.END

-- Test Case: handleRecircConfirmDisconnectUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircConfirmDisconnectUserAction
TEST.NEW
TEST.NAME:handleRecircConfirmDisconnectUserAction.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if ((TREATMENT_RECIRC_DISCONNECT_PATIENT_STATE) == treatmentRecircState) ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_DISCONNECT_PATIENT_STATE
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircStartRecircRequested:0
TEST.VALUE:TreatmentRecirc.handleRecircConfirmDisconnectUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentRecirc.handleRecircConfirmDisconnectUserAction.return:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_DISCONNECT_PATIENT_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircStartRecircRequested:1
TEST.EXPECTED:TreatmentRecirc.handleRecircConfirmDisconnectUserAction.return:1
TEST.END

-- Subprogram: handleRecircDisconnectPatientState

-- Test Case: handleRecircDisconnectPatientState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircDisconnectPatientState
TEST.NEW
TEST.NAME:handleRecircDisconnectPatientState.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) if ((1) == recircStartRecircRequested) ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircStartRecircRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircDisconnectPatientState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircStartRecircRequested:0
TEST.EXPECTED:TreatmentRecirc.handleRecircDisconnectPatientState.return:TREATMENT_RECIRC_DISCONNECT_PATIENT_STATE
TEST.END

-- Test Case: handleRecircDisconnectPatientState.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircDisconnectPatientState
TEST.NEW
TEST.NAME:handleRecircDisconnectPatientState.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if ((1) == recircStartRecircRequested) ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:TreatmentRecirc.setupForRecirculationState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircStartRecircRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircDisconnectPatientState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircStartRecircRequested:1
TEST.EXPECTED:TreatmentRecirc.handleRecircDisconnectPatientState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Subprogram: handleRecircRecircState

-- Test Case: handleRecircRecircState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.001
TEST.MCDC_BASIS_PATH:2 of 10
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> TRUE
Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a".
Condition a ==> TRUE
Condition b ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:TreatmentRecirc.setupForRecirculationStopState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:1
TEST.EXPECTED:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.END

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

-- Test Case: handleRecircRecircState.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.003
TEST.MCDC_BASIS_PATH:1 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.EXPECTED:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Test Case: handleRecircRecircState.004
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.004
TEST.MCDC_BASIS_PATH:5 of 10
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:TreatmentRecirc.setupForRecirculationStopState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.EXPECTED:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Test Case: handleRecircRecircState.005
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.005
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 281 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function activateAlarmNoData
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 282 TEST.VALUE:uut_prototype_stubs.clearAlarm.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function clearAlarm
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 285 TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function activateAlarmNoData
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 286 TEST.EXPECTED:uut_prototype_stubs.clearAlarm.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function clearAlarm
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:7 of 10
TEST.NOTES:
This is an automatically generated test case.
Test Path 7
(1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> FALSE
(3) if (recircTimerCtr > RECIRC_TIMEOUT) ==> TRUE
Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
Condition a ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:<<MAX>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.EXPECTED:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Test Case: handleRecircRecircState.006
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.006
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 308 TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:<<MIN>>
>>>     >>> Unknown parameter/object name recircTimeoutWarningGiven
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 312 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function activateAlarmNoData
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 314 TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:1
>>>     >>> Unknown parameter/object name recircTimeoutWarningGiven
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 316 TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function activateAlarmNoData
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:9 of 10
TEST.NOTES:
This is an automatically generated test case.
Test Path 9
(1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> FALSE
(3) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
(4) if (recircTimeoutWarningGiven != (1) && RECIRC_WARNING_TIMEOUT == recircTimerCtr) ==> TRUE
Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a".
Condition a ==> TRUE
Condition b ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:15600
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.EXPECTED:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Test Case: handleRecircRecircState.007
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircRecircState
TEST.NEW
TEST.NAME:handleRecircRecircState.007
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 338 TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:1
>>>     >>> Unknown parameter/object name recircTimeoutWarningGiven
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:8 of 10
TEST.NOTES:
This is an automatically generated test case.
Test Path 8
(1) if ((1) == recircReconnectRequested || (1) == doesAlarmStatusIndicateStop()) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> FALSE
(3) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
(4) if (recircTimeoutWarningGiven != (1) && RECIRC_WARNING_TIMEOUT == recircTimerCtr) ==> FALSE
Row number 3 forms a pair with Row 1 for Condition #4, subcondition "a".
Condition a ==> FALSE
Condition b ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:15600
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<<MIN>>
TEST.EXPECTED:TreatmentRecirc.handleRecircRecircState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Subprogram: handleRecircReconnectPatientState

-- Test Case: handleRecircReconnectPatientState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircReconnectPatientState
TEST.NEW
TEST.NAME:handleRecircReconnectPatientState.001
TEST.BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> FALSE
(3) if ((1) == recircResumeRequested) ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:0
TEST.EXPECTED:TreatmentRecirc.handleRecircReconnectPatientState.return:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.END

-- Test Case: handleRecircReconnectPatientState.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircReconnectPatientState
TEST.NEW
TEST.NAME:handleRecircReconnectPatientState.002
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
Test Path 2
(1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> FALSE
(3) if ((1) == recircResumeRequested) ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:TreatmentRecirc.setupForRecirculationState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:1
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircReconnectPatientState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:1
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:0
TEST.EXPECTED:TreatmentRecirc.handleRecircReconnectPatientState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Test Case: handleRecircReconnectPatientState.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircReconnectPatientState
TEST.NEW
TEST.NAME:handleRecircReconnectPatientState.003
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
Test Path 3
(1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:TreatmentRecirc.setupForRecirculationStopState
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircReconnectPatientState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:1
TEST.EXPECTED:TreatmentRecirc.handleRecircReconnectPatientState.return:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.END

-- Test Case: handleRecircReconnectPatientState.004
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircReconnectPatientState
TEST.NEW
TEST.NAME:handleRecircReconnectPatientState.004
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
Test Path 4
(1) if ((1) == recircBackToTreatmenRequested) ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircReconnectPatientState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:1
TEST.EXPECTED:TreatmentRecirc.handleRecircReconnectPatientState.return:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.END

-- Subprogram: handleRecircReconnectUserAction

-- Test Case: handleRecircReconnectUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircReconnectUserAction
TEST.NEW
TEST.NAME:handleRecircReconnectUserAction.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((TREATMENT_RECIRC_RECIRC_STATE) == treatmentRecircState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.return:1
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:1
TEST.EXPECTED:TreatmentRecirc.handleRecircReconnectUserAction.return:1
TEST.END

-- Test Case: handleRecircReconnectUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircReconnectUserAction
TEST.NEW
TEST.NAME:handleRecircReconnectUserAction.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((TREATMENT_RECIRC_RECIRC_STATE) == treatmentRecircState) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_STOPPED_STATE
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.return:0
TEST.EXPECTED:TreatmentRecirc.handleRecircReconnectUserAction.return:0
TEST.END

-- Test Case: handleRecircReconnectUserAction.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircReconnectUserAction
TEST.NEW
TEST.NAME:handleRecircReconnectUserAction.003
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((TREATMENT_RECIRC_RECIRC_STATE) == treatmentRecircState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.return:1
TEST.VALUE:uut_prototype_stubs.isTreatmentResumeBlocked.return:1
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:1
TEST.EXPECTED:TreatmentRecirc.handleRecircReconnectUserAction.return:0
TEST.END

-- Subprogram: handleRecircResumeUserAction

-- Test Case: handleRecircResumeUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircResumeUserAction
TEST.NEW
TEST.NAME:handleRecircResumeUserAction.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_STOPPED_STATE
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.return:1
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:1
TEST.EXPECTED:TreatmentRecirc.handleRecircResumeUserAction.return:1
TEST.END

-- Test Case: handleRecircResumeUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircResumeUserAction
TEST.NEW
TEST.NAME:handleRecircResumeUserAction.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.return:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircResumeUserAction.return:0
TEST.END

-- Test Case: handleRecircResumeUserAction.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircResumeUserAction
TEST.NEW
TEST.NAME:handleRecircResumeUserAction.003
TEST.NOTES:
This is an automatically generated test case.
Test Path 1
(1) if ((TREATMENT_RECIRC_STOPPED_STATE) == treatmentRecircState) ==> FALSE
Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
Condition a ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.rejReason:<<malloc 1>>
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.return:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_ACTION_DISABLED_IN_CURRENT_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECONNECT_PATIENT_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircResumeUserAction.return:1
TEST.END

-- Subprogram: handleRecircStoppedState

-- Test Case: handleRecircStoppedState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.001
TEST.MCDC_BASIS_PATH:2 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == recircBackToTreatmenRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: handleRecircStoppedState.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.002
TEST.MCDC_BASIS_PATH:4 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:1
TEST.VALUE:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: handleRecircStoppedState.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.003
TEST.MCDC_BASIS_PATH:6 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
      (2) if ((1) == recircEndTreatmentRequested) ==> FALSE
      (3) if ((1) == recircResumeRequested) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:1
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_RECIRC_STATE
TEST.END

-- Test Case: handleRecircStoppedState.004
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.004
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 522 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function activateAlarmNoData
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 524 TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function activateAlarmNoData
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:8 of 11
TEST.NOTES:
This is an automatically generated test case.
Test Path 8
(1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> FALSE
(3) if ((1) == recircResumeRequested) ==> FALSE
(4) if (recircTimerCtr > RECIRC_TIMEOUT) ==> TRUE
Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
Condition a ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:<<MAX>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: handleRecircStoppedState.005
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.005
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 547 TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:<<MIN>>
>>>     >>> Unknown parameter/object name recircTimeoutWarningGiven
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 552 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function activateAlarmNoData
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 553 TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:1
>>>     >>> Unknown parameter/object name recircTimeoutWarningGiven
>>>     >>> Value Line Error - Command Ignored
>>> (E) @LINE: 555 TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_TREATMENT_RINSEBACK_TIMEOUT_ALARM
>>>     >>> Could not find function activateAlarmNoData
>>>     >>>    in unit uut_prototype_stubs.
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:10 of 11
TEST.NOTES:
This is an automatically generated test case.
Test Path 10
(1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> FALSE
(3) if ((1) == recircResumeRequested) ==> FALSE
(4) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
(5) if (recircTimeoutWarningGiven != (1) && recircTimerCtr > RECIRC_WARNING_TIMEOUT) ==> TRUE
Row number 1 forms a pair with Row 3 for Condition #5, subcondition "a".
Condition a ==> TRUE
Condition b ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:15601
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: handleRecircStoppedState.006
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.006
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 578 TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:<<MIN>>
>>>     >>> Unknown parameter/object name recircTimeoutWarningGiven
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:11 of 11
TEST.NOTES:
This is an automatically generated test case.
Test Path 11
(1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> FALSE
(3) if ((1) == recircResumeRequested) ==> FALSE
(4) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
(5) if (recircTimeoutWarningGiven != (1) && recircTimerCtr > RECIRC_WARNING_TIMEOUT) ==> FALSE
Row number 2 forms a pair with Row 1 for Condition #5, subcondition "b".
Condition a ==> TRUE
Condition b ==> FALSE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Test Case: handleRecircStoppedState.007
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:handleRecircStoppedState
TEST.NEW
TEST.NAME:handleRecircStoppedState.007
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 606 TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:1
>>>     >>> Unknown parameter/object name recircTimeoutWarningGiven
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:9 of 11
TEST.NOTES:
This is an automatically generated test case.
Test Path 9
(1) if ((1) == recircBackToTreatmenRequested) ==> FALSE
(2) if ((1) == recircEndTreatmentRequested) ==> FALSE
(3) if ((1) == recircResumeRequested) ==> FALSE
(4) if (recircTimerCtr > RECIRC_TIMEOUT) ==> FALSE
(5) if (recircTimeoutWarningGiven != (1) && recircTimerCtr > RECIRC_WARNING_TIMEOUT) ==> FALSE
Row number 3 forms a pair with Row 1 for Condition #5, subcondition "a".
Condition a ==> FALSE
Condition b ==> TRUE
Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:15601
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.EXPECTED:TreatmentRecirc.handleRecircStoppedState.return:TREATMENT_RECIRC_STOPPED_STATE
TEST.END

-- Subprogram: initTreatmentRecirc

-- Test Case: initTreatmentRecirc.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:initTreatmentRecirc
TEST.NEW
TEST.NAME:initTreatmentRecirc.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
>>> (E) @LINE: 624 TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimeoutWarningGiven:0
>>>     >>> Unknown parameter/object name recircTimeoutWarningGiven
>>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.STUB:TreatmentRecirc.resetTreatmentRecircFlags
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_RECIRC_STATE
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:1
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircPublishTimerCtr:1
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.treatmentRecircState:TREATMENT_RECIRC_DISCONNECT_PATIENT_STATE
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircPublishTimerCtr:0
TEST.END

-- Subprogram: publishTreatmentRecircData

-- Test Case: publishTreatmentRecircData.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:publishTreatmentRecircData
TEST.NEW
TEST.NAME:publishTreatmentRecircData.001
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircPublishTimerCtr:20
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RECIRC_PROGRESS_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_RECIRC_PROGRESS_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: publishTreatmentRecircData.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:publishTreatmentRecircData
TEST.NEW
TEST.NAME:publishTreatmentRecircData.002
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircTimerCtr:18000
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircPublishTimerCtr:20
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_RECIRC_PROGRESS_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.length:8
TEST.END

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

-- Subprogram: resetTreatmentRecircFlags

-- Test Case: resetTreatmentRecircFlags.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:resetTreatmentRecircFlags
TEST.NEW
TEST.NAME:resetTreatmentRecircFlags.001
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:0
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:0
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:0
TEST.VALUE:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircReconnectRequested:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircBackToTreatmenRequested:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircResumeRequested:0
TEST.EXPECTED:TreatmentRecirc.<<GLOBAL>>.recircEndTreatmentRequested:0
TEST.END

-- Subprogram: setupForRecirculationState

-- Test Case: setupForRecirculationState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:setupForRecirculationState
TEST.NEW
TEST.NAME:setupForRecirculationState.001
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:100
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN
TEST.END

-- Subprogram: setupForRecirculationStopState

-- Test Case: setupForRecirculationStopState.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:setupForRecirculationStopState
TEST.NEW
TEST.NAME:setupForRecirculationStopState.001
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: signalTreatmentRecircUserAction

-- Test Case: signalTreatmentRecircUserAction.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.001
TEST.STUB:TreatmentRecirc.handleRecicConfirmReconnectUserAction
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:REQUESTED_USER_ACTION_TX_RECIRC_CONFIRM_RECONNECT
TEST.VALUE:TreatmentRecirc.handleRecicConfirmReconnectUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE
TEST.VALUE:TreatmentRecirc.handleRecicConfirmReconnectUserAction.return:100
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:100
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:0
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:100
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:0
TEST.END

-- Test Case: signalTreatmentRecircUserAction.002
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.002
TEST.STUB:TreatmentRecirc.handleRecircResumeUserAction
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:REQUESTED_USER_ACTION_TX_RECIRC_RESUME_RC
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE
TEST.VALUE:TreatmentRecirc.handleRecircResumeUserAction.return:100
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:100
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:0
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:0
TEST.END

-- Test Case: signalTreatmentRecircUserAction.003
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.003
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 843 TEST.STUB:TreatmentRecirc.handleRecircEndTreatmentUserAction
    >>>     >>> Could not find function handleRecircEndTreatmentUserAction
    >>>     >>>    in unit TreatmentRecirc.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 843 
    >>>     >>> Could not stub TreatmentRecirc.handleRecircEndTreatmentUserAction
    >>> (E) @LINE: 845 TEST.VALUE:TreatmentRecirc.handleRecircEndTreatmentUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE
    >>>     >>> Subprogram 'handleRecircEndTreatmentUserAction' is invalid
    >>>     >>> Command Ignored
    >>> (E) @LINE: 846 TEST.VALUE:TreatmentRecirc.handleRecircEndTreatmentUserAction.return:10
    >>>     >>> Subprogram 'handleRecircEndTreatmentUserAction' is invalid
    >>>     >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:REQUESTED_USER_ACTION_TX_RECIRC_END_TREATMENT
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:10
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:0
TEST.EXPECTED:TreatmentRecirc.signalTreatmentRecircUserAction.action:REQUESTED_USER_ACTION_TX_RECIRC_END_TREATMENT
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:1
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:0
TEST.END

-- Test Case: signalTreatmentRecircUserAction.004
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.004
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:NUM_OF_REQUESTED_TX_RECIRC_USER_ACTIONS
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_INVALID_COMMAND
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_INVALID_COMMAND
TEST.END

-- Test Case: signalTreatmentRecircUserAction.005
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.005
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == isAnyAlarmActive()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:TreatmentRecirc.handleRecircReconnectUserAction
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:<<MIN>>
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.return:100
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:100
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:100
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.END

-- Test Case: signalTreatmentRecircUserAction.006
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.006
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == isAnyAlarmActive()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:1
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_ALARM_IS_ACTIVE
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_ALARM_IS_ACTIVE
TEST.END

-- Test Case: signalTreatmentRecircUserAction.007
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:signalTreatmentRecircUserAction
TEST.NEW
TEST.NAME:signalTreatmentRecircUserAction.007
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.STUB:TreatmentRecirc.handleRecircReconnectUserAction
TEST.STUB:TreatmentRecirc.handleRecircConfirmDisconnectUserAction
TEST.VALUE:TreatmentRecirc.signalTreatmentRecircUserAction.action:REQUESTED_USER_ACTION_TX_RECIRC_CONFIRM_DISCONNECT
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE
TEST.VALUE:TreatmentRecirc.handleRecircReconnectUserAction.return:100
TEST.VALUE:TreatmentRecirc.handleRecircConfirmDisconnectUserAction.return:0
TEST.VALUE:uut_prototype_stubs.isAnyAlarmActive.return:0
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:100
TEST.VALUE:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:MACRO=REQUEST_REJECT_REASON_NONE
TEST.EXPECTED:TreatmentRecirc.signalTreatmentRecircUserAction.action:REQUESTED_USER_ACTION_TX_RECIRC_CONFIRM_DISCONNECT
TEST.EXPECTED:TreatmentRecirc.handleRecircConfirmDisconnectUserAction.rejReason[0]:REQUEST_REJECT_REASON_NONE
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.accepted:0
TEST.EXPECTED:uut_prototype_stubs.sendTreatmentRecircCmdResponse.rejReason:0
TEST.END

-- Subprogram: transitionToTreatmentRecirc

-- Test Case: transitionToTreatmentRecirc.001
TEST.UNIT:TreatmentRecirc
TEST.SUBPROGRAM:transitionToTreatmentRecirc
TEST.NEW
TEST.NAME:transitionToTreatmentRecirc.001
TEST.STUB:TreatmentRecirc.initTreatmentRecirc
TEST.STUB:TreatmentRecirc.setupForRecirculationStopState
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:0
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:100
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD
TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_CLOSED_LOOP
TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:0
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.setDialInPumpTargetFlowRate.return:0
TEST.VALUE:uut_prototype_stubs.doorClosedRequired.door:0
TEST.VALUE:uut_prototype_stubs.doorClosedRequired.pumpTrack:0
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,(2)VALVE_POSITION_B_OPEN
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:(3)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.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE
TEST.END