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

-- Subprogram: execFWCompatibilityTest

-- Test Case: execFWCompatibilityTest.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execFWCompatibilityTest
TEST.NEW
TEST.NAME:execFWCompatibilityTest.001
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiVersion.compatibility:3
TEST.VALUE:ModeInitPOST.execFWCompatibilityTest.return:SELF_TEST_STATUS_PASSED
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.uiVersion.compatibility:3
TEST.EXPECTED:ModeInitPOST.execFWCompatibilityTest.return:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_UI_COMPATIBILITY_ERROR
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:3
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: execFWCompatibilityTest.002
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execFWCompatibilityTest
TEST.NEW
TEST.NAME:execFWCompatibilityTest.002
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiVersion.compatibility:5
TEST.VALUE:ModeInitPOST.execFWCompatibilityTest.return:SELF_TEST_STATUS_PASSED
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.uiVersion.compatibility:5
TEST.EXPECTED:ModeInitPOST.execFWCompatibilityTest.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Subprogram: execInitAndPOSTMode

-- Test Case: execInitAndPOSTMode.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.001
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FW_INTEGRITY
TEST.VALUE:uut_prototype_stubs.execIntegrityTest.return:SELF_TEST_STATUS_PASSED
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:2
TEST.END

-- Test Case: execInitAndPOSTMode.002
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.002
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_WATCHDOG
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_WATCHDOG
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:4
TEST.END

-- Test Case: execInitAndPOSTMode.003
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.003
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_SAFETY_SHUTDOWN
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_SAFETY_SHUTDOWN
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:5
TEST.END

-- Test Case: execInitAndPOSTMode.004
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.004
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_RTC
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_RTC
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:2
TEST.END

-- Test Case: execInitAndPOSTMode.005
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.005
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_NVDATAMGMT
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_NVDATAMGMT
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:3
TEST.END

-- Test Case: execInitAndPOSTMode.006
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.006
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_BLOOD_FLOW
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_BLOOD_FLOW
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:6
TEST.END

-- Test Case: execInitAndPOSTMode.007
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.007
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_DIALYSATE_INLET_FLOW
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_DIALYSATE_INLET_FLOW
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:7
TEST.END

-- Test Case: execInitAndPOSTMode.008
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.008
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_VALVES
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_VALVES
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:10
TEST.END

-- Test Case: execInitAndPOSTMode.009
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.009
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_SYRINGE_PUMP
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_SYRINGE_PUMP
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:11
TEST.END

-- Test Case: execInitAndPOSTMode.010
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.010
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_ALARM_AUDIO
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_ALARM_AUDIO
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:13
TEST.END

-- Test Case: execInitAndPOSTMode.011
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.011
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_ALARM_LAMP
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_ALARM_LAMP
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:14
TEST.END

-- Test Case: execInitAndPOSTMode.012
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.012
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_ACCELEROMETER
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_ACCELEROMETER
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:15
TEST.END

-- Test Case: execInitAndPOSTMode.013
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.013
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_STUCK_BUTTON
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_STUCK_BUTTON
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:18
TEST.END

-- Test Case: execInitAndPOSTMode.014
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.014
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_UI_POST
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_UI_POST
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:19
TEST.END

-- Test Case: execInitAndPOSTMode.015
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.015
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FW_COMPATIBILITY
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FAILED
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:23
TEST.END

-- Test Case: execInitAndPOSTMode.016
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.016
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FAILED
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FAILED
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:23
TEST.END

-- Test Case: execInitAndPOSTMode.017
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.017
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:NUM_OF_POST_STATES
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:NUM_OF_POST_STATES
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:24
TEST.END

-- Test Case: execInitAndPOSTMode.018
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.018
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_COMPLETED
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postCompleteDelayTimerCtr:2000
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_COMPLETED
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postCompleteDelayTimerCtr:2001
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:22
TEST.END

-- Test Case: execInitAndPOSTMode.019
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.019
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == stop) ==> 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.isStopButtonPressed.return:1
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:0
TEST.END

-- Test Case: execInitAndPOSTMode.020
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.020
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == stop) ==> FALSE
      (20) case postState ==> POST_STATE_FPGA
      (21) if ((1) == tempPOSTPassed) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #21, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FPGA
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.tempPOSTPassed:1
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<<MIN>>
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_COMPLETED
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.tempPOSTPassed:1
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:22
TEST.END

-- Test Case: execInitAndPOSTMode.021
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.021
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == stop) ==> FALSE
      (20) case postState ==> POST_STATE_FPGA
      (21) if ((1) == tempPOSTPassed) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #21, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FPGA
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.tempPOSTPassed:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<<MIN>>
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FAILED
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.tempPOSTPassed:0
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:23
TEST.END

-- Test Case: execInitAndPOSTMode.022
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.022
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == stop) ==> FALSE
      (22) case postState ==> POST_STATE_COMPLETED
      (23) if (++postCompleteDelayTimerCtr > (2 * 1000) / 50) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #23, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 23
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_COMPLETED
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<<MIN>>
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_COMPLETED
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:22
TEST.END

-- Test Case: execInitAndPOSTMode.023
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.023
TEST.BASIS_PATH:21 of 30
TEST.NOTES:
This is an automatically generated test case.
   Test Path 21
      (1) if ((1) == stop) ==> FALSE
      (21) case postState ==> POST_STATE_FANS
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FANS
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<<MIN>>
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_FANS
TEST.END

-- Test Case: execInitAndPOSTMode.024
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.024
TEST.BASIS_PATH:20 of 30
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (1) if ((1) == stop) ==> FALSE
      (20) case postState ==> POST_STATE_TEMPERATURES
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_TEMPERATURES
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<<MIN>>
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_TEMPERATURES
TEST.END

-- Test Case: execInitAndPOSTMode.025
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.025
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_BLOOD_LEAK
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_BLOOD_LEAK
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:9
TEST.END

-- Test Case: execInitAndPOSTMode.026
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.026
TEST.BASIS_PATH:12 of 30
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == stop) ==> FALSE
      (12) case postState ==> POST_STATE_DIALYSATE_OUTLET_FLOW
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_DIALYSATE_OUTLET_FLOW
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<<MIN>>
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_DIALYSATE_OUTLET_FLOW
TEST.END

-- Test Case: execInitAndPOSTMode.027
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.027
TEST.BASIS_PATH:16 of 30
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((1) == stop) ==> FALSE
      (16) case postState ==> POST_STATE_PRES_OCCL
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_PRES_OCCL
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<<MIN>>
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_PRES_OCCL
TEST.END

-- Test Case: execInitAndPOSTMode.028
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:execInitAndPOSTMode.028
TEST.STUB:ModeInitPOST.isPOSTPassed
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_COMPLETED
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postPassed:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postCompleteDelayTimerCtr:2000
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_COMPLETED
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postCompleteDelayTimerCtr:2001
TEST.EXPECTED:ModeInitPOST.execInitAndPOSTMode.return:22
TEST.END

-- Subprogram: execUITest

-- Test Case: execUITest.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execUITest
TEST.NEW
TEST.NAME:execUITest.001
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == uiPOSTResultReceived) ==> FALSE
      (3) if (++waitForUIPostTimerCtr > (2 * 1000) / 50) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiPOSTResultReceived:<<MIN>>
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.waitForUIPostTimerCtr:1000
TEST.EXPECTED:ModeInitPOST.execUITest.return:SELF_TEST_STATUS_FAILED
TEST.END

-- Test Case: execUITest.002
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execUITest
TEST.NEW
TEST.NAME:execUITest.002
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == uiPOSTResultReceived) ==> 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:ModeInitPOST.<<GLOBAL>>.uiPOSTResultReceived:1
TEST.EXPECTED:ModeInitPOST.execUITest.return:SELF_TEST_STATUS_FAILED
TEST.END

-- Test Case: execUITest.003
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execUITest
TEST.NEW
TEST.NAME:execUITest.003
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == uiPOSTResultReceived) ==> 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:ModeInitPOST.<<GLOBAL>>.uiPOSTResultReceived:<<MIN>>
TEST.EXPECTED:ModeInitPOST.execUITest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: execUITest.004
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execUITest
TEST.NEW
TEST.NAME:execUITest.004
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == uiPOSTResultReceived) ==> TRUE
      (2) if ((1) == uiPOSTPassed) ==> 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:ModeInitPOST.<<GLOBAL>>.uiPOSTPassed:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiPOSTResultReceived:1
TEST.EXPECTED:ModeInitPOST.execUITest.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Subprogram: getDGVersion

-- Test Case: getDGVersion.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:getDGVersion
TEST.NEW
TEST.NAME:getDGVersion.001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.major:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.minor:2
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.micro:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.build:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.fpgaId:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.fpgaMajor:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.fpgaMinor:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.fpgaLab:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.compatibilityRev:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.startPOSTDelayCounter:1
TEST.EXPECTED:ModeInitPOST.getDGVersion.return.major:1
TEST.EXPECTED:ModeInitPOST.getDGVersion.return.minor:2
TEST.EXPECTED:ModeInitPOST.getDGVersion.return.micro:1
TEST.EXPECTED:ModeInitPOST.getDGVersion.return.build:1
TEST.EXPECTED:ModeInitPOST.getDGVersion.return.fpgaId:1
TEST.EXPECTED:ModeInitPOST.getDGVersion.return.fpgaMajor:1
TEST.EXPECTED:ModeInitPOST.getDGVersion.return.fpgaMinor:1
TEST.EXPECTED:ModeInitPOST.getDGVersion.return.fpgaLab:1
TEST.EXPECTED:ModeInitPOST.getDGVersion.return.compatibilityRev:1
TEST.END

-- Subprogram: handlePOSTStateStart

-- Test Case: handlePOSTStateStart.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStateStart
TEST.NEW
TEST.NAME:handlePOSTStateStart.001
TEST.EXPECTED:ModeInitPOST.handlePOSTStateStart.return:POST_STATE_START
TEST.END

-- Test Case: handlePOSTStateStart.002
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStateStart
TEST.NEW
TEST.NAME:handlePOSTStateStart.002
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++startPOSTDelayCounter > (1 * 1000) / 50) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.handlePOSTStateStart.return:POST_STATE_START
TEST.EXPECTED:ModeInitPOST.handlePOSTStateStart.return:POST_STATE_START
TEST.END

-- Test Case: handlePOSTStateStart.003
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStateStart
TEST.NEW
TEST.NAME:handlePOSTStateStart.003
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_base1:<<malloc 1>>
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_base1[0].SYSESR:12
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_base1[0].GBLSTAT:15
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_base1[0].DEV:123
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_crcBase:<<malloc 1>>
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_crcBase[0].PSA_SIGREGL1:18
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.startPOSTDelayCounter:20
TEST.VALUE:ModeInitPOST.handlePOSTStateStart.return:POST_STATE_START
TEST.VALUE:uut_prototype_stubs.sendUIVersionRequest.return:0
TEST.VALUE:uut_prototype_stubs.sendEvent.event:NUM_OF_EVENT_IDS
TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:0xFFFFFF00
TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:0xFFFFFF00
TEST.EXPECTED:ModeInitPOST.handlePOSTStateStart.return:POST_STATE_FW_INTEGRITY
TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:(2)HD_EVENT_STARTUP,HD_EVENT_OP_MODE_CHANGE
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:123,30,2
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:0x12345678,0xF,0x2
TEST.END

-- Test Case: handlePOSTStateStart.004
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStateStart
TEST.NEW
TEST.NAME:handlePOSTStateStart.004
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_base1:<<malloc 1>>
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_base1[0].SYSESR:12
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_base1[0].GBLSTAT:15
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_base1[0].DEV:123
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_crcBase:<<malloc 1>>
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.ptr_crcBase[0].PSA_SIGREGL1:18
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.startPOSTDelayCounter:20
TEST.VALUE:ModeInitPOST.handlePOSTStateStart.return:POST_STATE_START
TEST.VALUE:uut_prototype_stubs.isDGCommunicating.return:1
TEST.VALUE:uut_prototype_stubs.sendUIVersionRequest.return:0
TEST.VALUE:uut_prototype_stubs.sendEvent.event:NUM_OF_EVENT_IDS
TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:0xFFFFFF00
TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:0xFFFFFF00
TEST.EXPECTED:ModeInitPOST.handlePOSTStateStart.return:POST_STATE_FW_INTEGRITY
TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:(2)HD_EVENT_STARTUP,HD_EVENT_OP_MODE_CHANGE
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:123,30,2
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:0x12345678,0xF,0x2
TEST.END

-- Subprogram: handlePOSTStatus

-- Test Case: handlePOSTStatus.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStatus
TEST.NEW
TEST.NAME:handlePOSTStatus.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (testStatus == (SELF_TEST_STATUS_PASSED)) ==> 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:ModeInitPOST.handlePOSTStatus.testStatus:SELF_TEST_STATUS_PASSED
TEST.EXPECTED:ModeInitPOST.handlePOSTStatus.return:POST_STATE_FW_INTEGRITY
TEST.END

-- Test Case: handlePOSTStatus.002
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStatus
TEST.NEW
TEST.NAME:handlePOSTStatus.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (testStatus == (SELF_TEST_STATUS_PASSED)) ==> 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:ModeInitPOST.handlePOSTStatus.testStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:ModeInitPOST.handlePOSTStatus.return:POST_STATE_START
TEST.END

-- Test Case: handlePOSTStatus.003
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStatus
TEST.NEW
TEST.NAME:handlePOSTStatus.003
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (testStatus == (SELF_TEST_STATUS_PASSED)) ==> FALSE
      (2) if (testStatus == (SELF_TEST_STATUS_FAILED)) ==> 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:ModeInitPOST.handlePOSTStatus.testStatus:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:ModeInitPOST.handlePOSTStatus.return:POST_STATE_FAILED
TEST.END

-- Subprogram: initInitAndPOSTMode

-- Test Case: initInitAndPOSTMode.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:initInitAndPOSTMode
TEST.NEW
TEST.NAME:initInitAndPOSTMode.001
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.waitForUIPostTimerCtr:0
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.postCompleteDelayTimerCtr:0
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.startPOSTDelayCounter:0
TEST.END

-- Subprogram: isDGPOSTPassed

-- Test Case: isDGPOSTPassed.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:isDGPOSTPassed
TEST.NEW
TEST.NAME:isDGPOSTPassed.001
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgPOSTPassed:1
TEST.VALUE:ModeInitPOST.isDGPOSTPassed.return:0
TEST.EXPECTED:ModeInitPOST.isDGPOSTPassed.return:1
TEST.END

-- Subprogram: isPOSTCompleted

-- Test Case: isPOSTCompleted.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:isPOSTCompleted
TEST.NEW
TEST.NAME:isPOSTCompleted.001
TEST.EXPECTED:ModeInitPOST.isPOSTCompleted.return:0
TEST.END

-- Subprogram: isPOSTPassed

-- Test Case: isPOSTPassed.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:isPOSTPassed
TEST.NEW
TEST.NAME:isPOSTPassed.001
TEST.EXPECTED:ModeInitPOST.isPOSTPassed.return:0
TEST.END

-- Subprogram: signalAlarmActionToInitAndPOSTMode

-- Test Case: signalAlarmActionToInitAndPOSTMode.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:signalAlarmActionToInitAndPOSTMode
TEST.NEW
TEST.NAME:signalAlarmActionToInitAndPOSTMode.001
TEST.EXPECTED:ModeInitPOST.signalAlarmActionToInitAndPOSTMode.action:ALARM_ACTION_STOP
TEST.END

-- Subprogram: signalDGPOSTFinalResult

-- Test Case: signalDGPOSTFinalResult.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:signalDGPOSTFinalResult
TEST.NEW
TEST.NAME:signalDGPOSTFinalResult.001
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.dgPOSTResultReceived:1
TEST.END

-- Subprogram: signalDGVersion

-- Test Case: signalDGVersion.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:signalDGVersion
TEST.NEW
TEST.NAME:signalDGVersion.001
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.major:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.minor:2
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.micro:3
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.build:4
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.fpgaId:5
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.fpgaMajor:6
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.fpgaMinor:7
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.fpgaLab:8
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.dgVersion.compatibilityRev:9
TEST.EXPECTED:ModeInitPOST.signalDGVersion.version.major:0
TEST.EXPECTED:ModeInitPOST.signalDGVersion.version.minor:0
TEST.EXPECTED:ModeInitPOST.signalDGVersion.version.micro:0
TEST.EXPECTED:ModeInitPOST.signalDGVersion.version.build:0
TEST.EXPECTED:ModeInitPOST.signalDGVersion.version.fpgaId:0
TEST.EXPECTED:ModeInitPOST.signalDGVersion.version.fpgaMajor:0
TEST.EXPECTED:ModeInitPOST.signalDGVersion.version.fpgaMinor:0
TEST.EXPECTED:ModeInitPOST.signalDGVersion.version.fpgaLab:0
TEST.EXPECTED:ModeInitPOST.signalDGVersion.version.compatibilityRev:0
TEST.END

-- Subprogram: signalUIPOSTFinalResult

-- Test Case: signalUIPOSTFinalResult.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:signalUIPOSTFinalResult
TEST.NEW
TEST.NAME:signalUIPOSTFinalResult.001
TEST.EXPECTED:ModeInitPOST.<<GLOBAL>>.uiPOSTResultReceived:1
TEST.END

-- Subprogram: signalUIVersion

-- Test Case: signalUIVersion.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:signalUIVersion
TEST.NEW
TEST.NAME:signalUIVersion.001
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiVersion.major:1
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiVersion.minor:2
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiVersion.micro:3
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiVersion.build:4
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiVersion.compatibility:5
TEST.EXPECTED:ModeInitPOST.signalUIVersion.version.major:0
TEST.EXPECTED:ModeInitPOST.signalUIVersion.version.minor:0
TEST.EXPECTED:ModeInitPOST.signalUIVersion.version.micro:0
TEST.EXPECTED:ModeInitPOST.signalUIVersion.version.build:0
TEST.EXPECTED:ModeInitPOST.signalUIVersion.version.compatibility:0
TEST.END

-- Subprogram: transitionToInitAndPOSTMode

-- Test Case: transitionToInitAndPOSTMode.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:transitionToInitAndPOSTMode
TEST.NEW
TEST.NAME:transitionToInitAndPOSTMode.001
TEST.EXPECTED:ModeInitPOST.transitionToInitAndPOSTMode.return:0
TEST.END