-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execFWCompatibilityTest
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (uiVersion.compatibility != (1)) ==> 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>>.uiVersion.compatibility:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execFWCompatibilityTest
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (uiVersion.compatibility != (1)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiVersion.compatibility:1
TEST.END

-- Subprogram: execInitAndPOSTMode

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

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

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

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

-- Test Case: COND_23_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:COND_23_ROW_1_PAIR_a_T-PARTIAL
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.END

-- Test Case: COND_23_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:COND_23_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == stop) ==> FALSE
      (22) case postState ==> POST_STATE_COMPLETED
      (23) if (++postCompleteDelayTimerCtr > (2 * 1000) / 50) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #23, subcondition "a".
         Condition a ==> FALSE
   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.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == stop) ==> FALSE
      (4) case postState ==> POST_STATE_AC
      (5) if (getMonitoredLineLevel(MONITORED_LINE_24V) < (5.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:ModeInitPOST.handlePOSTStatus
TEST.STUB:ModeInitPOST.handlePOSTStateStart
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_AC
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getMonitoredLineLevel.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execInitAndPOSTMode
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == stop) ==> FALSE
      (4) case postState ==> POST_STATE_AC
      (5) if (getMonitoredLineLevel(MONITORED_LINE_24V) < (5.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:ModeInitPOST.handlePOSTStatus
TEST.STUB:ModeInitPOST.handlePOSTStateStart
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.postState:POST_STATE_AC
TEST.VALUE:uut_prototype_stubs.isStopButtonPressed.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getMonitoredLineLevel.return:<<MAX>>
TEST.END

-- 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.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.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.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.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.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.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_FLOW
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.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.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.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.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.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.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.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.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.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.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.END

-- Subprogram: execUITest

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

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

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

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execUITest
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == uiPOSTResultReceived) ==> TRUE
      (2) if ((1) == uiPOSTPassed) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiPOSTPassed:<<MIN>>
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.uiPOSTResultReceived:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execUITest
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == uiPOSTResultReceived) ==> FALSE
      (3) if (++waitForUIPostTimerCtr > (2 * 1000) / 50) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   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.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:execUITest
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 6
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.END

-- 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.END

-- Subprogram: handlePOSTStateStart

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStateStart
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
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.END

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

-- Test Case: handlePOSTStateStart.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStateStart
TEST.NEW
TEST.NAME:handlePOSTStateStart.001
TEST.VALUE:ModeInitPOST.<<GLOBAL>>.startPOSTDelayCounter:1000
TEST.END

-- Subprogram: handlePOSTStatus

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

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

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStatus
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:handlePOSTStatus
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (testStatus == (SELF_TEST_STATUS_PASSED)) ==> FALSE
      (2) if (testStatus == (SELF_TEST_STATUS_FAILED)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:ModeInitPOST.handlePOSTStatus.testStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Subprogram: initInitAndPOSTMode

-- Test Case: initInitAndPOSTMode.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:initInitAndPOSTMode
TEST.NEW
TEST.NAME:initInitAndPOSTMode.001
TEST.END

-- Subprogram: isPOSTCompleted

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

-- Subprogram: isPOSTPassed

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

-- Subprogram: signalAlarmActionToInitAndPOSTMode

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

-- Subprogram: signalDGPOSTFinalResult

-- Test Case: signalDGPOSTFinalResult.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:signalDGPOSTFinalResult
TEST.NEW
TEST.NAME:signalDGPOSTFinalResult.001
TEST.END

-- Subprogram: signalDGVersion

-- Test Case: signalDGVersion.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:signalDGVersion
TEST.NEW
TEST.NAME:signalDGVersion.001
TEST.END

-- Subprogram: signalUIPOSTFinalResult

-- Test Case: signalUIPOSTFinalResult.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:signalUIPOSTFinalResult
TEST.NEW
TEST.NAME:signalUIPOSTFinalResult.001
TEST.END

-- Subprogram: signalUIVersion

-- Test Case: signalUIVersion.001
TEST.UNIT:ModeInitPOST
TEST.SUBPROGRAM:signalUIVersion
TEST.NEW
TEST.NAME:signalUIVersion.001
TEST.END

-- Subprogram: transitionToInitAndPOSTMode

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