-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:execBubbles
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 (getCurrentOperationMode() != (MODE_INIT)) ==> 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.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:execBubbles
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 (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

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Bubble
TEST.SUBPROGRAM:execBubbles
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> TRUE
      (2) for (bubble < (NUM_OF_BUBBLES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Bubble
TEST.SUBPROGRAM:execBubbles
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (getCurrentOperationMode() != (MODE_INIT)) ==> TRUE
      (2) for (bubble < (NUM_OF_BUBBLES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: execBubbles.001
TEST.UNIT:Bubble
TEST.SUBPROGRAM:execBubbles
TEST.NEW
TEST.NAME:execBubbles.001
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesState[ADA]:BUBBLE_SELF_TEST_STATE
TEST.END

-- Test Case: execBubbles.002
TEST.UNIT:Bubble
TEST.SUBPROGRAM:execBubbles
TEST.NEW
TEST.NAME:execBubbles.002
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesState[ADA]:NUM_OF_BUBBLE_STATES
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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:getBubbleStatus
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 == (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.VALUE:Bubble.<<GLOBAL>>.bubblesStatus[ADA].override:3435346995
TEST.VALUE:Bubble.getBubbleStatus.bubble:ADA
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:getBubbleStatus
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 == (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.VALUE:Bubble.<<GLOBAL>>.bubblesStatus[ADA].override:<<MIN>>
TEST.VALUE:Bubble.getBubbleStatus.bubble:ADA
TEST.END

-- Subprogram: handleBubbleNormalState

-- Test Case: COND_10_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_10_ROW_1_PAIR_a_T-PARTIAL
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: COND_10_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_10_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:18 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (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)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #10, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
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: COND_12_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_12_ROW_1_PAIR_a_T
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:Bubble.handleBubbleNormalState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_12_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_12_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (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
      Row number 2 forms a pair with Row 1 for Condition #12, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Bubble.handleBubbleNormalState.bubble 'equal to' and 'not equal to' same value in branches 1/12
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADV
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_13_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_13_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:11 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (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)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #13, 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:Bubble.handleBubbleNormalState.bubble:ADV
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_13_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_13_ROW_2_PAIR_a_F
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: COND_14_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_14_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 19
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 ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> FALSE
      (12) if (bubble == (ADA)) ==> FALSE
      (13) if (bubble == (ADV)) ==> FALSE
      (14) if ((1) == bubblesSelfTestRequested[bubble]) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #14, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable Bubble.handleBubbleNormalState.bubble 'equal to' and 'not equal to' same value in branches 12/14
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestRequested[ADA]:1
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_14_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_14_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (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
      (14) if ((1) == bubblesSelfTestRequested[bubble]) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #14, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Bubble.handleBubbleNormalState.bubble 'equal to' and 'not equal to' same value in branches 12/14
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestRequested[ADA]:<<MIN>>
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
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.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT-TEMPLATE
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 19
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.handleBubbleNormalState.bubble 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:NUM_OF_BUBBLES
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:1 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:NUM_OF_BUBBLES
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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:Bubble.handleBubbleNormalState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> 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:Bubble.handleBubbleNormalState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, 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:Bubble.handleBubbleNormalState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, 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:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
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:Bubble.handleBubbleNormalState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:14 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (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)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL
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

-- Test Case: COND_8_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleNormalState
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:16 of 19
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (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)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:Bubble.handleBubbleNormalState.bubble:ADA
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

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

-- Subprogram: handleBubbleSelfTestState

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
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.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT-TEMPLATE
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT-TEMPLATE
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: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:1 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:NUM_OF_BUBBLES
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> 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:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((SELF_TEST_STATUS_IN_PROGRESS) == bubblesSelfTestStatus[bubble]) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((SELF_TEST_STATUS_IN_PROGRESS) == bubblesSelfTestStatus[bubble]) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_PASSED
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:11 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (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)) ==> 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.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:10 of 15
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 ((SELF_TEST_STATUS_IN_PROGRESS) == bubblesSelfTestStatus[bubble]) ==> TRUE
      (4) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
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.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:12 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (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)) ==> 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:Bubble.getBubbleStatus
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:15 of 15
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 ((SELF_TEST_STATUS_IN_PROGRESS) == bubblesSelfTestStatus[bubble]) ==> TRUE
      (4) if ((BUBBLE_DETECTED) == getBubbleStatus(bubble)) ==> FALSE
      (5) if ((1) == didTimeout(bubblesSelfTestStartTime[bubble], 500)) ==> TRUE
      (6) if (bubble == (ADA)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (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
      (6) if (bubble == (ADA)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Bubble.handleBubbleSelfTestState.bubble 'equal to' and 'not equal to' same value in branches 1/6
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADV
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:9 of 15
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 ((SELF_TEST_STATUS_IN_PROGRESS) == bubblesSelfTestStatus[bubble]) ==> FALSE
      (7) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(bubble)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_PASSED
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_NOT_DETECTED
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:handleBubbleSelfTestState
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:8 of 15
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (bubble == (ADA) || bubble == (ADV)) ==> TRUE
      (2) if ((1) == noFPGABubbleDetected(bubble)) ==> FALSE
      (3) if ((SELF_TEST_STATUS_IN_PROGRESS) == bubblesSelfTestStatus[bubble]) ==> FALSE
      (7) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(bubble)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Bubble.getBubbleStatus
TEST.VALUE:Bubble.<<GLOBAL>>.bubblesSelfTestStatus[ADA]:SELF_TEST_STATUS_PASSED
TEST.VALUE:Bubble.getBubbleStatus.return:BUBBLE_DETECTED
TEST.VALUE:Bubble.handleBubbleSelfTestState.bubble:ADA
TEST.VALUE:uut_prototype_stubs.noFPGABubbleDetected.return:<<MIN>>
TEST.END

-- Subprogram: initBubbles

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Bubble
TEST.SUBPROGRAM:initBubbles
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 (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: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:Bubble
TEST.SUBPROGRAM:initBubbles
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 (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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:publishBubblesData
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 (++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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:publishBubblesData
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 (++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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testResetBubbleStatusOverride
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:Bubble.testResetBubbleStatusOverride.bubble:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

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

-- Subprogram: testResetBubblesDataPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testResetBubblesDataPublishIntervalOverride
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:Bubble
TEST.SUBPROGRAM:testResetBubblesDataPublishIntervalOverride
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: testSetBubbleStatusOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testSetBubbleStatusOverride
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 (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: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testSetBubbleStatusOverride
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 (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: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testSetBubbleStatusOverride
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 (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

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Bubble
TEST.SUBPROGRAM:testSetBubbleStatusOverride
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 (status < (NUM_OF_BUBBLE_STATUS)) ==> 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:Bubble.testSetBubbleStatusOverride.status:<<MIN>>
TEST.VALUE:Bubble.testSetBubbleStatusOverride.bubble:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetBubblesDataPublishIntervalOverride

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

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