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

-- Subprogram: execBatteryMonitor

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> 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:Battery.getBatteryData
TEST.VALUE:Battery.getBatteryData.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> 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.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> 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.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> 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.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:0
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:14 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> TRUE
      (3) if ((1) == getBatteryData(0x9, 0x13, &batteryStatus)) ==> 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:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:13 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> TRUE
      (3) if ((1) == getBatteryData(0x9, 0x13, &batteryStatus)) ==> 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:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:16 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> TRUE
      (3) if ((1) == getBatteryData(0x9, 0x13, &batteryStatus)) ==> TRUE
      (4) if (0 == (batteryStatus & 0x8000)) ==> 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:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryStatus:0
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:15 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> TRUE
      (3) if ((1) == getBatteryData(0x9, 0x13, &batteryStatus)) ==> TRUE
      (4) if (0 == (batteryStatus & 0x8000)) ==> 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:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryStatus:32768
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> TRUE
      (3) if ((1) == getBatteryData(0x9, 0x13, &batteryStatus)) ==> TRUE
      (4) if (0 == (batteryStatus & 0x8000)) ==> TRUE
      (5) if (++lostACPowerPersistentCount > (3)) ==> 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 5
TEST.END_NOTES:
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryStatus:0
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:17 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> TRUE
      (3) if ((1) == getBatteryData(0x9, 0x13, &batteryStatus)) ==> TRUE
      (4) if (0 == (batteryStatus & 0x8000)) ==> TRUE
      (5) if (++lostACPowerPersistentCount > (3)) ==> 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 5
TEST.END_NOTES:
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryStatus:0
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:0
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> FALSE
      (6) if ((1) == getBatteryData(0xb, 0xd, &relStateOfCharge_pct)) ==> 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:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> FALSE
      (6) if ((1) == getBatteryData(0xb, 0xd, &relStateOfCharge_pct)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:12 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> FALSE
      (6) if ((1) == getBatteryData(0xb, 0xd, &relStateOfCharge_pct)) ==> TRUE
      (7) if (getBatteryRemainingPercent() < (50)) ==> 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:Battery.getBatteryRemainingPercent
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryRemainingPercent.return:<<MIN>>
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:11 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> FALSE
      (6) if ((1) == getBatteryData(0xb, 0xd, &relStateOfCharge_pct)) ==> TRUE
      (7) if (getBatteryRemainingPercent() < (50)) ==> 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:Battery.getBatteryRemainingPercent
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryRemainingPercent.return:<<MAX>>
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> FALSE
      (6) if ((1) == getBatteryData(0xb, 0xd, &relStateOfCharge_pct)) ==> FALSE
      (8) if ((1) == getBatteryData(0xb, 0x16, &batteryPackStatus)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable Battery.getBatteryData.return 'equal to' and 'not equal to' same value in branches 6/8
TEST.END_NOTES:
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> FALSE
      (6) if ((1) == getBatteryData(0xb, 0xd, &relStateOfCharge_pct)) ==> FALSE
      (8) if ((1) == getBatteryData(0xb, 0x16, &batteryPackStatus)) ==> 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:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> FALSE
      (6) if ((1) == getBatteryData(0xb, 0xd, &relStateOfCharge_pct)) ==> FALSE
      (8) if ((1) == getBatteryData(0xb, 0x16, &batteryPackStatus)) ==> TRUE
      (9) if (0 != (batteryPackStatus & 0xf)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #9, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable Battery.getBatteryData.return 'equal to' and 'not equal to' same value in branches 6/8
TEST.END_NOTES:
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryPackStatus:15
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == didTimeout(lastBatteryMonitorTime, 750)) ==> TRUE
      (2) if ((0) == hasBatteryChargerStatus) ==> FALSE
      (6) if ((1) == getBatteryData(0xb, 0xd, &relStateOfCharge_pct)) ==> FALSE
      (8) if ((1) == getBatteryData(0xb, 0x16, &batteryPackStatus)) ==> TRUE
      (9) if (0 != (batteryPackStatus & 0xf)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #9, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Battery.getBatteryData.return 'equal to' and 'not equal to' same value in branches 6/8
TEST.END_NOTES:
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryPackStatus:0
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: execBatteryMonitor_CC_001
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor_CC_001
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.lostACPowerPersistentCount:3
TEST.VALUE:Battery.getBatteryData.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: execBatteryMonitor_CC_002
TEST.UNIT:Battery
TEST.SUBPROGRAM:execBatteryMonitor
TEST.NEW
TEST.NAME:execBatteryMonitor_CC_002
TEST.STUB:Battery.getBatteryData
TEST.VALUE:Battery.<<GLOBAL>>.batteryPackStatus:0xFF
TEST.VALUE:Battery.<<GLOBAL>>.hasBatteryChargerStatus:1
TEST.VALUE:Battery.getBatteryData.return:0,1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Subprogram: generateStopCondition

-- Test Case: COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:generateStopCondition
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) while ((0) == i2cIsStopDetected((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsStopDetected.return:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:generateStopCondition
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) while ((0) == i2cIsStopDetected((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsStopDetected.return:0
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:generateStopCondition
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) while ((0) == i2cIsStopDetected((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsStopDetected.return:1
TEST.END

-- Test Case: generateStopCondition_CC_001
TEST.UNIT:Battery
TEST.SUBPROGRAM:generateStopCondition
TEST.NEW
TEST.NAME:generateStopCondition_CC_001
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.END

-- Subprogram: getBatteryData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryData
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 ((1) == startCommTx(slaveAddr)) ==> 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:Battery.startCommTx
TEST.VALUE:Battery.getBatteryData.slaveAddr:<<MIN>>
TEST.VALUE:Battery.getBatteryData.command:<<MIN>>
TEST.VALUE:Battery.getBatteryData.dataPtr:<<malloc 1>>
TEST.VALUE:Battery.startCommTx.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryData
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 ((1) == startCommTx(slaveAddr)) ==> 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:Battery.startCommTx
TEST.VALUE:Battery.getBatteryData.slaveAddr:<<MIN>>
TEST.VALUE:Battery.getBatteryData.command:<<MIN>>
TEST.VALUE:Battery.getBatteryData.dataPtr:<<malloc 1>>
TEST.VALUE:Battery.startCommTx.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryData
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 ((1) == startCommTx(slaveAddr)) ==> TRUE
      (2) if ((1) == getData(command, dataPtr)) ==> 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.STUB:Battery.startCommTx
TEST.STUB:Battery.getData
TEST.VALUE:Battery.getBatteryData.slaveAddr:<<MIN>>
TEST.VALUE:Battery.getBatteryData.command:<<MIN>>
TEST.VALUE:Battery.getBatteryData.dataPtr:<<malloc 1>>
TEST.VALUE:Battery.startCommTx.return:1
TEST.VALUE:Battery.getData.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryData
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 ((1) == startCommTx(slaveAddr)) ==> TRUE
      (2) if ((1) == getData(command, dataPtr)) ==> 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.STUB:Battery.startCommTx
TEST.STUB:Battery.getData
TEST.VALUE:Battery.getBatteryData.slaveAddr:<<MIN>>
TEST.VALUE:Battery.getBatteryData.command:<<MIN>>
TEST.VALUE:Battery.getBatteryData.dataPtr:<<malloc 1>>
TEST.VALUE:Battery.startCommTx.return:1
TEST.VALUE:Battery.getData.return:<<MIN>>
TEST.END

-- Subprogram: getBatteryRemainingPercent

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryRemainingPercent
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 == batteryRelStateOfCharge_pct.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:Battery.<<GLOBAL>>.batteryRelStateOfCharge_pct.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:getBatteryRemainingPercent
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 == batteryRelStateOfCharge_pct.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:Battery.<<GLOBAL>>.batteryRelStateOfCharge_pct.override:<<MIN>>
TEST.END

-- Subprogram: getData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == waitForTxReady()) ==> 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:Battery.waitForTxReady
TEST.VALUE:Battery.waitForTxReady.return:1
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == waitForTxReady()) ==> 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:Battery.waitForTxReady
TEST.VALUE:Battery.waitForTxReady.return:<<MIN>>
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == waitForTxReady()) ==> FALSE
      (2) if ((1) == waitForTxReady()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable Battery.waitForTxReady.return 'equal to' and 'not equal to' same value in branches 1/2
TEST.END_NOTES:
TEST.STUB:Battery.waitForTxReady
TEST.VALUE:Battery.waitForTxReady.return:1
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == waitForTxReady()) ==> FALSE
      (2) if ((1) == waitForTxReady()) ==> 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.STUB:Battery.waitForTxReady
TEST.VALUE:Battery.waitForTxReady.return:<<MIN>>
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == waitForTxReady()) ==> FALSE
      (2) if ((1) == waitForTxReady()) ==> TRUE
      (3) if ((1) == waitForRxReady()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable Battery.waitForTxReady.return 'equal to' and 'not equal to' same value in branches 1/2
TEST.END_NOTES:
TEST.STUB:Battery.waitForTxReady
TEST.STUB:Battery.waitForRxReady
TEST.VALUE:Battery.waitForTxReady.return:<<MIN>>
TEST.VALUE:Battery.waitForRxReady.return:1
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == waitForTxReady()) ==> FALSE
      (2) if ((1) == waitForTxReady()) ==> TRUE
      (3) if ((1) == waitForRxReady()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Battery.waitForTxReady.return 'equal to' and 'not equal to' same value in branches 1/2
TEST.END_NOTES:
TEST.STUB:Battery.waitForTxReady
TEST.STUB:Battery.waitForRxReady
TEST.VALUE:Battery.waitForTxReady.return:<<MIN>>
TEST.VALUE:Battery.waitForRxReady.return:<<MIN>>
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == waitForTxReady()) ==> FALSE
      (2) if ((1) == waitForTxReady()) ==> TRUE
      (3) if ((1) == waitForRxReady()) ==> TRUE
      (4) if ((1) == waitForRxReady()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable Battery.waitForTxReady.return 'equal to' and 'not equal to' same value in branches 1/2
TEST.END_NOTES:
TEST.STUB:Battery.waitForTxReady
TEST.STUB:Battery.waitForRxReady
TEST.VALUE:Battery.waitForTxReady.return:<<MIN>>
TEST.VALUE:Battery.waitForRxReady.return:1
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:getData
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == waitForTxReady()) ==> FALSE
      (2) if ((1) == waitForTxReady()) ==> TRUE
      (3) if ((1) == waitForRxReady()) ==> TRUE
      (4) if ((1) == waitForRxReady()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable Battery.waitForTxReady.return 'equal to' and 'not equal to' same value in branches 1/2
      Conflict: Trying to set variable Battery.waitForRxReady.return 'equal to' and 'not equal to' same value in branches 3/4
TEST.END_NOTES:
TEST.STUB:Battery.waitForTxReady
TEST.STUB:Battery.waitForRxReady
TEST.VALUE:Battery.waitForTxReady.return:<<MIN>>
TEST.VALUE:Battery.waitForRxReady.return:<<MIN>>
TEST.VALUE:Battery.getData.command:<<MIN>>
TEST.VALUE:Battery.getData.dataPtr:<<malloc 1>>
TEST.END

-- Subprogram: initBattery

-- Test Case: initBattery.001
TEST.UNIT:Battery
TEST.SUBPROGRAM:initBattery
TEST.NEW
TEST.NAME:initBattery.001
TEST.STUB:Battery.setupI2CDriver
TEST.END

-- Subprogram: isBatteryCharged

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:isBatteryCharged
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (getBatteryRemainingPercent() > (50)) ==> 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:Battery.getBatteryRemainingPercent
TEST.VALUE:Battery.getBatteryRemainingPercent.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Battery
TEST.SUBPROGRAM:isBatteryCharged
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (getBatteryRemainingPercent() > (50)) ==> 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:Battery.getBatteryRemainingPercent
TEST.VALUE:Battery.getBatteryRemainingPercent.return:<<MIN>>
TEST.END

-- Subprogram: testResetSetBatteryRemainingPercentOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Battery
TEST.SUBPROGRAM:testResetSetBatteryRemainingPercentOverride
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:Battery
TEST.SUBPROGRAM:testResetSetBatteryRemainingPercentOverride
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: testSetBatteryRemainingPercentOverride

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

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

-- Subprogram: waitForRxReady

-- Test Case: COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForRxReady
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) while ((0) == i2cIsRxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsRxReady.return:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForRxReady
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) while ((0) == i2cIsRxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsRxReady.return:0
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForRxReady
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) while ((0) == i2cIsRxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsRxReady.return:1
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForRxReady
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) while ((0) == i2cIsRxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      (2) ((1) == timeout) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 2
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsRxReady.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForRxReady
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) while ((0) == i2cIsRxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      (2) ((1) == timeout) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 2
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsRxReady.return:1
TEST.END

-- Test Case: waitForRxReady_CC_001
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForRxReady
TEST.NEW
TEST.NAME:waitForRxReady_CC_001
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.END

-- Subprogram: waitForTxReady

-- Test Case: COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForTxReady
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) while ((0) == i2cIsTxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsTxReady.return:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForTxReady
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) while ((0) == i2cIsTxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsTxReady.return:0
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForTxReady
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) while ((0) == i2cIsTxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsTxReady.return:1
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForTxReady
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) while ((0) == i2cIsTxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      (2) ((1) == timeout) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 2
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsTxReady.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForTxReady
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) while ((0) == i2cIsTxReady((i2cBASE_t *)0xfff7d400U) && (0) == timeout) ==> FALSE
      (2) ((1) == timeout) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable timeout in branch 2
      Cannot set local variable timeout in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.i2cIsTxReady.return:1
TEST.END

-- Test Case: waitForTxReady_CC_001
TEST.UNIT:Battery
TEST.SUBPROGRAM:waitForTxReady
TEST.NEW
TEST.NAME:waitForTxReady_CC_001
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0,1
TEST.END