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

-- Subprogram: execFaultMode

-- Test Case: execFaultMode.001
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:execFaultMode
TEST.NEW
TEST.NAME:execFaultMode.001
TEST.STUB:ModeFault.handleFaultStartState
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_START
TEST.VALUE:ModeFault.handleFaultStartState.return:HD_FAULT_STATE_START
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_SERV
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:10
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_START
TEST.EXPECTED:ModeFault.execFaultMode.return:MACRO=HD_FAULT_STATE_START
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: execFaultMode.002
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:execFaultMode
TEST.NEW
TEST.NAME:execFaultMode.002
TEST.STUB:ModeFault.handleFaultRunNVPOSTsState
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_RUN_NV_POSTS
TEST.VALUE:ModeFault.handleFaultRunNVPOSTsState.return:HD_FAULT_STATE_RUN_NV_POSTS
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_SERV
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:10
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_RUN_NV_POSTS
TEST.EXPECTED:ModeFault.execFaultMode.return:MACRO=HD_FAULT_STATE_RUN_NV_POSTS
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: execFaultMode.003
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:execFaultMode
TEST.NEW
TEST.NAME:execFaultMode.003
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_COMPLETE
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_SERV
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:10
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:ModeFault.execFaultMode.return:MACRO=HD_FAULT_STATE_COMPLETE
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: execFaultMode.004
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:execFaultMode
TEST.NEW
TEST.NAME:execFaultMode.004
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:4
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_SERV
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:10
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_COMPLETE
TEST.EXPECTED:ModeFault.execFaultMode.return:MACRO=HD_FAULT_STATE_COMPLETE
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: execFaultMode.005
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:execFaultMode
TEST.NEW
TEST.NAME:execFaultMode.005
TEST.STUB:ModeFault.handleFaultRunNVPOSTsState
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_RUN_NV_POSTS
TEST.VALUE:ModeFault.handleFaultRunNVPOSTsState.return:HD_FAULT_STATE_RUN_NV_POSTS
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:10
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_RUN_NV_POSTS
TEST.EXPECTED:ModeFault.execFaultMode.return:MACRO=HD_FAULT_STATE_RUN_NV_POSTS
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: execFaultMode.006
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:execFaultMode
TEST.NEW
TEST.NAME:execFaultMode.006
TEST.STUB:ModeFault.handleFaultRunNVPOSTsState
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_RUN_NV_POSTS
TEST.VALUE:ModeFault.handleFaultRunNVPOSTsState.return:HD_FAULT_STATE_RUN_NV_POSTS
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:10
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_RUN_NV_POSTS
TEST.EXPECTED:ModeFault.execFaultMode.return:MACRO=HD_FAULT_STATE_RUN_NV_POSTS
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: execFaultMode.007
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:execFaultMode
TEST.NEW
TEST.NAME:execFaultMode.007
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:4
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_GENE
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:10
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_COMPLETE
TEST.EXPECTED:ModeFault.execFaultMode.return:MACRO=HD_FAULT_STATE_COMPLETE
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: execFaultMode.008
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:execFaultMode
TEST.NEW
TEST.NAME:execFaultMode.008
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_COMPLETE
TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_SERV
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:10
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:ModeFault.execFaultMode.return:MACRO=HD_FAULT_STATE_COMPLETE
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: execFaultMode.009
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:execFaultMode
TEST.NEW
TEST.NAME:execFaultMode.009
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_COMPLETE
TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1
TEST.VALUE:uut_prototype_stubs.hasRecoverFromFaultModeBeenSet.return:1
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:1
TEST.VALUE:uut_prototype_stubs.getDGOpMode.return:DG_MODE_SERV
TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.VALUE:uut_prototype_stubs.setValvePosition.return:10
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:ModeFault.execFaultMode.return:MACRO=HD_FAULT_STATE_COMPLETE
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV
TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Subprogram: handleFaultRunNVPOSTsState

-- Test Case: handleFaultRunNVPOSTsState.001
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:handleFaultRunNVPOSTsState
TEST.NEW
TEST.NAME:handleFaultRunNVPOSTsState.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((SELF_TEST_STATUS_PASSED) == faultPOSTSelfTestResult || (SELF_TEST_STATUS_FAILED) == faultPOSTSelfTestResult) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeFault.handleFaultRunNVPOSTsState.return:HD_FAULT_STATE_RUN_NV_POSTS
TEST.VALUE:uut_prototype_stubs.execNVDataMgmtSelfTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:ModeFault.handleFaultRunNVPOSTsState.return:HD_FAULT_STATE_RUN_NV_POSTS
TEST.END

-- Test Case: handleFaultRunNVPOSTsState.002
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:handleFaultRunNVPOSTsState
TEST.NEW
TEST.NAME:handleFaultRunNVPOSTsState.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((SELF_TEST_STATUS_PASSED) == faultPOSTSelfTestResult || (SELF_TEST_STATUS_FAILED) == faultPOSTSelfTestResult) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeFault.handleFaultRunNVPOSTsState.return:HD_FAULT_STATE_RUN_NV_POSTS
TEST.VALUE:uut_prototype_stubs.execNVDataMgmtSelfTest.return:SELF_TEST_STATUS_PASSED
TEST.EXPECTED:ModeFault.handleFaultRunNVPOSTsState.return:HD_FAULT_STATE_COMPLETE
TEST.END

-- Test Case: handleFaultRunNVPOSTsState.003
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:handleFaultRunNVPOSTsState
TEST.NEW
TEST.NAME:handleFaultRunNVPOSTsState.003
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((SELF_TEST_STATUS_PASSED) == faultPOSTSelfTestResult || (SELF_TEST_STATUS_FAILED) == faultPOSTSelfTestResult) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeFault.handleFaultRunNVPOSTsState.return:HD_FAULT_STATE_RUN_NV_POSTS
TEST.VALUE:uut_prototype_stubs.execNVDataMgmtSelfTest.return:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:ModeFault.handleFaultRunNVPOSTsState.return:HD_FAULT_STATE_COMPLETE
TEST.END

-- Subprogram: handleFaultStartState

-- Test Case: handleFaultStartState.001
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:handleFaultStartState
TEST.NEW
TEST.NAME:handleFaultStartState.001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (3) case status ==> NVDATAMGMT_RECORDS_CRC_CHECKED
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeFault.handleFaultStartState.return:HD_FAULT_STATE_START
TEST.VALUE:uut_prototype_stubs.getNVRecordsReadStatus.return:NVDATAMGMT_RECORDS_CRC_CHECKED
TEST.EXPECTED:ModeFault.handleFaultStartState.return:HD_FAULT_STATE_COMPLETE
TEST.END

-- Test Case: handleFaultStartState.002
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:handleFaultStartState
TEST.NEW
TEST.NAME:handleFaultStartState.002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) case status ==> NVDATAMGMT_RECORDS_QUEUED
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeFault.handleFaultStartState.return:HD_FAULT_STATE_START
TEST.VALUE:uut_prototype_stubs.getNVRecordsReadStatus.return:NVDATAMGMT_RECORDS_QUEUED
TEST.EXPECTED:ModeFault.handleFaultStartState.return:HD_FAULT_STATE_RUN_NV_POSTS
TEST.END

-- Test Case: handleFaultStartState.003
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:handleFaultStartState
TEST.NEW
TEST.NAME:handleFaultStartState.003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) case status ==> NVDATAMGMT_RECORDS_READ
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeFault.handleFaultStartState.return:HD_FAULT_STATE_START
TEST.VALUE:uut_prototype_stubs.getNVRecordsReadStatus.return:NVDATAMGMT_RECORDS_READ
TEST.EXPECTED:ModeFault.handleFaultStartState.return:HD_FAULT_STATE_RUN_NV_POSTS
TEST.END

-- Subprogram: initFaultMode

-- Test Case: initFaultMode.001
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:initFaultMode
TEST.NEW
TEST.NAME:initFaultMode.001
TEST.VALUE:ModeFault.<<GLOBAL>>.faultState:NUM_OF_HD_FAULT_STATES
TEST.VALUE:ModeFault.<<GLOBAL>>.faultPOSTSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:ModeFault.<<GLOBAL>>.faultState:HD_FAULT_STATE_START
TEST.EXPECTED:ModeFault.<<GLOBAL>>.faultPOSTSelfTestResult:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Subprogram: signalAlarmActionToFaultMode

-- Test Case: signalAlarmActionToFaultMode.001
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:signalAlarmActionToFaultMode
TEST.NEW
TEST.NAME:signalAlarmActionToFaultMode.001
TEST.VALUE:ModeFault.signalAlarmActionToFaultMode.action:ALARM_ACTION_STOP
TEST.EXPECTED:ModeFault.signalAlarmActionToFaultMode.action:ALARM_ACTION_STOP
TEST.END

-- Subprogram: transitionToFaultMode

-- Test Case: transitionToFaultMode.001
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:transitionToFaultMode
TEST.NEW
TEST.NAME:transitionToFaultMode.001
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME
TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0
TEST.VALUE:uut_prototype_stubs.getPreviousOperationMode.return:MODE_TREA
TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0
TEST.END

-- Test Case: transitionToFaultMode.002
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:transitionToFaultMode
TEST.NEW
TEST.NAME:transitionToFaultMode.002
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((MODE_INIT) == previousOpMode) ==> 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:ModeFault.transitionToFaultMode.return:0
TEST.VALUE:uut_prototype_stubs.getPreviousOperationMode.return:MODE_INIT
TEST.EXPECTED:ModeFault.transitionToFaultMode.return:0
TEST.END

-- Test Case: transitionToFaultMode.003
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:transitionToFaultMode
TEST.NEW
TEST.NAME:transitionToFaultMode.003
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((MODE_INIT) == previousOpMode) ==> FALSE
      (2) if ((MODE_PRET) == previousOpMode || (MODE_TREA) == previousOpMode) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeFault.transitionToFaultMode.return:0
TEST.VALUE:uut_prototype_stubs.getPreviousOperationMode.return:MODE_PRET
TEST.EXPECTED:ModeFault.transitionToFaultMode.return:0
TEST.END

-- Test Case: transitionToFaultMode.004
TEST.UNIT:ModeFault
TEST.SUBPROGRAM:transitionToFaultMode
TEST.NEW
TEST.NAME:transitionToFaultMode.004
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((DG_MODE_FILL) == dgOperationMode) ==> TRUE
      (2) if ((MODE_INIT) == previousOpMode) ==> FALSE
      (3) if ((MODE_PRET) == previousOpMode || (MODE_TREA) == previousOpMode) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
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.getDGOpMode.return:DG_MODE_FILL
TEST.VALUE:uut_prototype_stubs.getPreviousOperationMode.return:MODE_FAUL
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:0
TEST.END