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

-- Subprogram: execBubbles

-- Test Case: execBubbles.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:execBubbles
TEST.NEW
TEST.NAME:execBubbles.001
TEST.IMPORT_FAILURES:
(E) @LINE: 97 TEST.VALUE:Bubble.<<GLOBAL>>.bubblesState[ADA]:BUBBLE_SELF_TEST_STATE
    >>> Invalid array index value ADA
    >>> Command Ignored.
TEST.END_IMPORT_FAILURES:
TEST.END

-- Test Case: execBubbles.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:execBubbles
TEST.NEW
TEST.NAME:execBubbles.002
TEST.IMPORT_FAILURES:
(E) @LINE: 105 TEST.VALUE:Bubble.<<GLOBAL>>.bubblesState[ADA]:NUM_OF_BUBBLE_STATES
    >>> Invalid array index value ADA
    >>> Command Ignored.
TEST.END_IMPORT_FAILURES:
TEST.END

-- Test Case: execBubbles.003
TEST.UNIT:Bubble
TEST.SUBPROGRAM:execBubbles
TEST.NEW
TEST.NAME:execBubbles.003
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> 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.getCurrentOperationMode.return:MODE_INIT
TEST.END

-- Subprogram: getBubbleSelfTestStatus

-- Test Case: getBubbleSelfTestStatus.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:getBubbleSelfTestStatus
TEST.NEW
TEST.NAME:getBubbleSelfTestStatus.001
TEST.END

-- Subprogram: getBubbleStatus

-- Test Case: getBubbleStatus.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:getBubbleStatus
TEST.NEW
TEST.NAME:getBubbleStatus.001
TEST.IMPORT_FAILURES:
(E) @LINE: 133 TEST.VALUE:Bubble.<<GLOBAL>>.bubblesStatus[ADA].override:3435346995
    >>> Invalid array index value ADA
    >>> Command Ignored.
(E) @LINE: 134 TEST.VALUE:Bubble.getBubbleStatus.bubble:ADA
    >>> Value for 'Enumeral' out of range
    >>>   Read "ADA"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == (bubblesStatus[bubble]).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.END

-- Test Case: getBubbleStatus.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:getBubbleStatus
TEST.NEW
TEST.NAME:getBubbleStatus.002
TEST.IMPORT_FAILURES:
(E) @LINE: 151 TEST.VALUE:Bubble.<<GLOBAL>>.bubblesStatus[ADA].override:<<MIN>>
    >>> Invalid array index value ADA
    >>> Command Ignored.
(E) @LINE: 152 TEST.VALUE:Bubble.getBubbleStatus.bubble:ADA
    >>> Value for 'Enumeral' out of range
    >>>   Read "ADA"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == (bubblesStatus[bubble]).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.END

-- Subprogram: handleBubbleNormalState

-- Test Case: handleBubbleNormaatState.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:handleBubbleNormaatState.001
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> TRUE
      (4) if (getCurrentOperationMode() == (MODE_TREA)) ==> TRUE
      (9) case treatmentState ==> TREATMENT_RINSEBACK_STATE
      (10) if (bubble == (ADV)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (Bubble.handleBubbleNormalState.bubble) in branches 1/10
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADV
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_DIALYSIS_STATE
TEST.END

-- Test Case: handleBubbleNormaatState.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:handleBubbleNormaatState.002
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> TRUE
      (4) if (getCurrentOperationMode() == (MODE_TREA)) ==> TRUE
      (9) case treatmentState ==> TREATMENT_RINSEBACK_STATE
      (10) if (bubble == (ADV)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (Bubble.handleBubbleNormalState.bubble) in branches 1/10
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADV
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_END_STATE
TEST.END

-- Test Case: handleBubbleNormaatState.003
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:handleBubbleNormaatState.003
TEST.MCDC_BASIS_PATH:19 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> TRUE
      (4) if (getCurrentOperationMode() == (MODE_TREA)) ==> TRUE
      (9) case treatmentState ==> TREATMENT_RINSEBACK_STATE
      (10) if (bubble == (ADV)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (Bubble.handleBubbleNormalState.bubble) in branches 1/10
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADV
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_RINSEBACK_STATE
TEST.END

-- Test Case: handleBubbleNormaatState.004
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:handleBubbleNormaatState.004
TEST.IMPORT_FAILURES:
(E) @LINE: 231 TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
    >>> Value for 'Enumeral' out of range
    >>>   Read "ADA"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:9 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> FALSE
      (12) if (bubble == (ADA)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #12, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: handleBubbleNormaatState.005
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:handleBubbleNormaatState.005
TEST.MCDC_BASIS_PATH:10 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> FALSE
      (12) if (bubble == (ADA)) ==> FALSE
      (13) if (bubble == (ADV)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #13, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:NUM_OF_BUBBLES
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: handleBubbleNormaatState.006
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:handleBubbleNormaatState.006
TEST.IMPORT_FAILURES:
(E) @LINE: 376 TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
    >>> Value for 'Enumeral' out of range
    >>>   Read "ADA"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> 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.END

-- Test Case: handleBubbleNormaatState.007
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:handleBubbleNormaatState.007
TEST.IMPORT_FAILURES:
(E) @LINE: 431 TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
    >>> Value for 'Enumeral' out of range
    >>>   Read "ADA"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> 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:uut_prototype_stubs.noFPGABubbleDetected.return:1
TEST.END

-- Test Case: handleBubbleNormaatState.008
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:handleBubbleNormaatState.008
TEST.IMPORT_FAILURES:
(E) @LINE: 517 TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
    >>> Value for 'Enumeral' out of range
    >>>   Read "ADA"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:15 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> TRUE
      (4) if (getCurrentOperationMode() == (MODE_TREA)) ==> 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.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.END

-- Test Case: handleBubbleNormaatState.009
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:handleBubbleNormaatState.009
TEST.MCDC_BASIS_PATH:17 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> TRUE
      (4) if (getCurrentOperationMode() == (MODE_TREA)) ==> TRUE
      (5) case treatmentState ==> TREATMENT_BLOOD_PRIME_STATE
      (8) if (bubble == (ADV)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Multiple equality operators with different values (Bubble.handleBubbleNormalState.bubble) in branches 1/8
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADV
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_BLOOD_PRIME_STATE
TEST.END

-- Subprogram: handleBubbleSelfTestState

-- Test Case: handleBubbleSelfTestState.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:handleBubbleSelfTestState.001
TEST.IMPORT_FAILURES:
(E) @LINE: 672 TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
    >>> Value for 'Enumeral' out of range
    >>>   Read "ADA"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> 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.END

-- Test Case: handleBubbleSelfTestState.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:handleBubbleSelfTestState.002
TEST.MCDC_BASIS_PATH:3 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> 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:
      Conflict: Trying to set variable Bubble.handleBubbleSelfTestState.bubble 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:NUM_OF_BUBBLES
TEST.END

-- Test Case: handleBubbleSelfTestState.003
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:handleBubbleSelfTestState.003
TEST.IMPORT_FAILURES:
(E) @LINE: 727 TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
    >>> Value for 'Enumeral' out of range
    >>>   Read "ADA"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> 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:uut_prototype_stubs.noFPGABubbleDetected.return:1
TEST.END

-- Test Case: handleBubbleSelfTestState.004
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:handleBubbleSelfTestState.004
TEST.IMPORT_FAILURES:
(E) @LINE: 859 TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_IN_PROGRESS
    >>> Invalid array index value ADA
    >>> Command Ignored.
(E) @LINE: 861 TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
    >>> Value for 'Enumeral' out of range
    >>>   Read "ADA"
    >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:13 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((SELF_TEST_STATUS_IN_PROGRESS) == bubblesSelfTestStatus[bubble]) ==> TRUE
      (4) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> FALSE
      (5) if ((1) == didTimeout(bubblesSelfTestStartTime[bubble], 500)) ==> 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:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Subprogram: initBubbles

-- Test Case: initBubbles.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:initBubbles
TEST.NEW
TEST.NAME:initBubbles.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (bubble < (NUM_OF_BUBBLES)) ==> 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: initBubbles.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:initBubbles
TEST.NEW
TEST.NAME:initBubbles.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (bubble < (NUM_OF_BUBBLES)) ==> 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: publishBubblesData

-- Test Case: publishBubblesData.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:publishBubblesData
TEST.NEW
TEST.NAME:publishBubblesData.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++bubblesDataPublicationTimerCounter >= getU32OverrideValue(&bubblesDataPublishInterval)) ==> 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.getU32OverrideValue.return:<<MIN>>
TEST.END

-- Test Case: publishBubblesData.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:publishBubblesData
TEST.NEW
TEST.NAME:publishBubblesData.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++bubblesDataPublicationTimerCounter >= getU32OverrideValue(&bubblesDataPublishInterval)) ==> 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.getU32OverrideValue.return:<<MAX>>
TEST.END

-- Subprogram: selfTestBubble

-- Test Case: selfTestBubble.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:selfTestBubble
TEST.NEW
TEST.NAME:selfTestBubble.001
TEST.END

-- Subprogram: testResetBubbleStatusOverride

-- Test Case: testResetBubbleStatusOverride.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testResetBubbleStatusOverride
TEST.NEW
TEST.NAME:testResetBubbleStatusOverride.001
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:Bubble.testResetBubbleStatusOverride.bubble:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: testResetBubbleStatusOverride.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testResetBubbleStatusOverride
TEST.NEW
TEST.NAME:testResetBubbleStatusOverride.002
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:Bubble.testResetBubbleStatusOverride.bubble:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetBubblesDataPublishIntervalOverride

-- Test Case: estResetBubblesDataPublishIntervalOverride.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testResetBubblesDataPublishIntervalOverride
TEST.NEW
TEST.NAME:estResetBubblesDataPublishIntervalOverride.001
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: estResetBubblesDataPublishIntervalOverride.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testResetBubblesDataPublishIntervalOverride
TEST.NEW
TEST.NAME:estResetBubblesDataPublishIntervalOverride.002
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: testSetBubbleStatusOverride

-- Test Case: testSetBubbleStatusOverride.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testSetBubbleStatusOverride
TEST.NEW
TEST.NAME:testSetBubbleStatusOverride.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (status < (NUM_OF_BUBBLE_STATUS)) ==> 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:Bubble.testSetBubbleStatusOverride.status:<<MIN>>
TEST.VALUE:Bubble.testSetBubbleStatusOverride.bubble:<<MIN>>
TEST.END

-- Test Case: testSetBubbleStatusOverride.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testSetBubbleStatusOverride
TEST.NEW
TEST.NAME:testSetBubbleStatusOverride.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (status < (NUM_OF_BUBBLE_STATUS)) ==> 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:Bubble.testSetBubbleStatusOverride.status:<<MAX>>
TEST.VALUE:Bubble.testSetBubbleStatusOverride.bubble:<<MIN>>
TEST.END

-- Test Case: testSetBubbleStatusOverride.003
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testSetBubbleStatusOverride
TEST.NEW
TEST.NAME:testSetBubbleStatusOverride.003
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (status < (NUM_OF_BUBBLE_STATUS)) ==> 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:Bubble.testSetBubbleStatusOverride.status:<<MIN>>
TEST.VALUE:Bubble.testSetBubbleStatusOverride.bubble:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Subprogram: testSetBubblesDataPublishIntervalOverride

-- Test Case: testSetBubblesDataPublishIntervalOverride.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testSetBubblesDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetBubblesDataPublishIntervalOverride.001
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:Bubble.testSetBubblesDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: testSetBubblesDataPublishIntervalOverride.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testSetBubblesDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetBubblesDataPublishIntervalOverride.002
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:Bubble.testSetBubblesDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END