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

-- Subprogram: execSwitches

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) case (i) ==> FRONT_DOOR
      (3) (0 == getFPGAFrontDoorStatus()) ==> 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 1
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFPGAFrontDoorStatus.return:0
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) case (i) ==> FRONT_DOOR
      (3) (0 == getFPGAFrontDoorStatus()) ==> 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 1
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFPGAFrontDoorStatus.return:1
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (4) case (i) ==> PUMP_TRACK_SWITCH
      (5) (0 == getFPGAPumpTrackSwitchStatus()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFPGAPumpTrackSwitchStatus.return:0
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (4) case (i) ==> PUMP_TRACK_SWITCH
      (5) (0 == getFPGAPumpTrackSwitchStatus()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFPGAPumpTrackSwitchStatus.return:1
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:4 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (6) case (i) ==> default
      (7) if (currentSwitchStatus != ((switchesStatus[i]).status).data) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable currentSwitchStatus in branch 7
      Cannot set i due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (6) case (i) ==> default
      (7) if (currentSwitchStatus != ((switchesStatus[i]).status).data) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable currentSwitchStatus in branch 7
      Cannot set i due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (6) case (i) ==> default
      (7) if (currentSwitchStatus != ((switchesStatus[i]).status).data) ==> TRUE
      (8) if ((0) == (switchesStatus[i]).debounceStartTime) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set i due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable currentSwitchStatus in branch 7
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:0
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (6) case (i) ==> default
      (7) if (currentSwitchStatus != ((switchesStatus[i]).status).data) ==> TRUE
      (8) if ((0) == (switchesStatus[i]).debounceStartTime) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set i due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable currentSwitchStatus in branch 7
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:1
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (6) case (i) ==> default
      (7) if (currentSwitchStatus != ((switchesStatus[i]).status).data) ==> TRUE
      (8) if ((0) == (switchesStatus[i]).debounceStartTime) ==> FALSE
      (9) if ((1) == didTimeout((switchesStatus[i]).debounceStartTime, 1000 / 4)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #9, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
      Cannot set local variable currentSwitchStatus in branch 7
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Switches
TEST.SUBPROGRAM:execSwitches
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (6) case (i) ==> default
      (7) if (currentSwitchStatus != ((switchesStatus[i]).status).data) ==> TRUE
      (8) if ((0) == (switchesStatus[i]).debounceStartTime) ==> FALSE
      (9) if ((1) == didTimeout((switchesStatus[i]).debounceStartTime, 1000 / 4)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #9, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set i due to assignment
      Cannot set local variable currentSwitchStatus in branch 7
TEST.END_NOTES:
TEST.VALUE:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].debounceStartTime:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Subprogram: getPublishSwitchesDataInterval

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:getPublishSwitchesDataInterval
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 (0xccc33c33U == switchesDataPublishInterval.override) ==> 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:Switches.<<GLOBAL>>.switchesDataPublishInterval.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:getPublishSwitchesDataInterval
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 (0xccc33c33U == switchesDataPublishInterval.override) ==> 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:Switches.<<GLOBAL>>.switchesDataPublishInterval.override:<<MIN>>
TEST.END

-- Subprogram: getSwitchStatus

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:getSwitchStatus
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.getSwitchStatus.switchId:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:getSwitchStatus
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.getSwitchStatus.switchId:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:getSwitchStatus
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if (0xccc33c33U == ((switchesStatus[switchId]).status).override) ==> 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:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:3435346995
TEST.VALUE:Switches.getSwitchStatus.switchId:FRONT_DOOR
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:getSwitchStatus
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if (0xccc33c33U == ((switchesStatus[switchId]).status).override) ==> 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:Switches.<<GLOBAL>>.switchesStatus[FRONT_DOOR].status.override:<<MIN>>
TEST.VALUE:Switches.getSwitchStatus.switchId:FRONT_DOOR
TEST.END

-- Subprogram: initSwitches

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Switches
TEST.SUBPROGRAM:initSwitches
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) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches
TEST.SUBPROGRAM:initSwitches
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) for (i < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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

-- Subprogram: publishSwitchesData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:publishSwitchesData
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 (++switchesDataPublicationCounter > getPublishSwitchesDataInterval()) ==> 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:Switches.getPublishSwitchesDataInterval
TEST.VALUE:Switches.getPublishSwitchesDataInterval.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:publishSwitchesData
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 (++switchesDataPublicationCounter > getPublishSwitchesDataInterval()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Switches.getPublishSwitchesDataInterval
TEST.VALUE:Switches.getPublishSwitchesDataInterval.return:<<MAX>>
TEST.END

-- Subprogram: testResetSwitchesDataPublishIntervalOverrid

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesDataPublishIntervalOverrid
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 ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesDataPublishIntervalOverrid
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 ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetSwitchesStatusOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesStatusOverride
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.testResetSwitchesStatusOverride.switchId:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesStatusOverride
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.testResetSwitchesStatusOverride.switchId:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesStatusOverride
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> 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:Switches.testResetSwitchesStatusOverride.switchId:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:testResetSwitchesStatusOverride
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> 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:Switches.testResetSwitchesStatusOverride.switchId:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSwitchesDataPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesDataPublishIntervalOverride
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 ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Switches.testSetSwitchesDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesDataPublishIntervalOverride
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 ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Switches.testSetSwitchesDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetSwitchesStatusOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesStatusOverride
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.testSetSwitchesStatusOverride.switchId:<<MIN>>
TEST.VALUE:Switches.testSetSwitchesStatusOverride.status:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesStatusOverride
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> 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:Switches.testSetSwitchesStatusOverride.switchId:<<MAX>>
TEST.VALUE:Switches.testSetSwitchesStatusOverride.status:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesStatusOverride
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> 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:Switches.testSetSwitchesStatusOverride.switchId:<<MIN>>
TEST.VALUE:Switches.testSetSwitchesStatusOverride.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Switches
TEST.SUBPROGRAM:testSetSwitchesStatusOverride
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 (switchId < (NUM_OF_DOORS_AND_SWITCHES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> 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:Switches.testSetSwitchesStatusOverride.switchId:<<MIN>>
TEST.VALUE:Switches.testSetSwitchesStatusOverride.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END