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

-- Subprogram: execBloodLeak

-- Test Case: execBloodLeak.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.001
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_ZERO_STATE
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_ZERO_STATE
TEST.END

-- Test Case: execBloodLeak.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.002
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_SELF_TEST_STATE
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_SELF_TEST_STATE
TEST.END

-- Test Case: execBloodLeak.003
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.003
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_NORMAL_STATE
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_NORMAL_STATE
TEST.END

-- Test Case: execBloodLeak.004
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.004
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakState:NUM_OF_BLOOD_LEAK_STATES
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_INIT_STATE
TEST.END

-- Test Case: execBloodLeak.005
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.005
TEST.MCDC_BASIS_PATH:2 of 2
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.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_START_UP_STATE
TEST.END

-- Test Case: execBloodLeak.006
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.006
TEST.MCDC_BASIS_PATH:1 of 2
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:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_SET_SET_POINT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_INIT
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_SET_SET_POINT_STATE
TEST.END

-- Test Case: execBloodLeak.007
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.007
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:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_SET_SET_POINT_STATE
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:1
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:3000
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_SET_SET_POINT_STATE
TEST.END

-- Test Case: execBloodLeak.008
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.008
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:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_START_UP_STATE
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:1
TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:1000
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_START_UP_STATE
TEST.END

-- Test Case: execBloodLeak.009
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.009
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:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_CHECK_SET_POINT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_INIT_STATE
TEST.END

-- Test Case: execBloodLeak.010
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeak
TEST.NEW
TEST.NAME:execBloodLeak.010
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:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_INIT_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakState:BLOOD_LEAK_INIT_STATE
TEST.END

-- Subprogram: execBloodLeakSelfTest

-- Test Case: execBloodLeakSelfTest.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeakSelfTest
TEST.NEW
TEST.NAME:execBloodLeakSelfTest.001
TEST.EXPECTED:BloodLeak.execBloodLeakSelfTest.return:SELF_TEST_STATUS_FAILED
TEST.END

-- Test Case: execBloodLeakSelfTest.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:execBloodLeakSelfTest
TEST.NEW
TEST.NAME:execBloodLeakSelfTest.002
TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.return:1
TEST.EXPECTED:BloodLeak.execBloodLeakSelfTest.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Subprogram: getBloodLeakSelfTestStatus

-- Test Case: getBloodLeakSelfTestStatus.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:getBloodLeakSelfTestStatus
TEST.NEW
TEST.NAME:getBloodLeakSelfTestStatus.001
TEST.EXPECTED:BloodLeak.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Subprogram: getBloodLeakStatus

-- Test Case: getBloodLeakStatus.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:getBloodLeakStatus
TEST.NEW
TEST.NAME:getBloodLeakStatus.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == bloodLeakStatus.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:BloodLeak.<<GLOBAL>>.bloodLeakStatus.override:3435346995
TEST.EXPECTED:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED
TEST.END

-- Test Case: getBloodLeakStatus.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:getBloodLeakStatus
TEST.NEW
TEST.NAME:getBloodLeakStatus.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == bloodLeakStatus.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:BloodLeak.<<GLOBAL>>.bloodLeakStatus.override:<<MIN>>
TEST.EXPECTED:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED
TEST.END

-- Subprogram: handleBloodLeakCheckSetPointState

-- Test Case: handleBloodLeakCheckSetPointState.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState
TEST.NEW
TEST.NAME:handleBloodLeakCheckSetPointState.001
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakGetCalStartTime:1
TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakDetectSetPoint.return:1
TEST.EXPECTED:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_SET_SET_POINT_STATE
TEST.END

-- Test Case: handleBloodLeakCheckSetPointState.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakCheckSetPointState
TEST.NEW
TEST.NAME:handleBloodLeakCheckSetPointState.002
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakCommandWriteTryCount:4
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakCalRecord.setPoint:0
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakGetCalStartTime:1
TEST.VALUE:uut_prototype_stubs.getFPGABloodLeakDetectSetPoint.return:1
TEST.EXPECTED:BloodLeak.handleBloodLeakCheckSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE
TEST.END

-- Subprogram: handleBloodLeakInitState

-- Test Case: handleBloodLeakInitState.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakInitState
TEST.NEW
TEST.NAME:handleBloodLeakInitState.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == bloodLeakZeroRequested) ==> 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:BloodLeak.<<GLOBAL>>.bloodLeakZeroRequested:1
TEST.EXPECTED:BloodLeak.handleBloodLeakInitState.return:BLOOD_LEAK_ZERO_STATE
TEST.END

-- Test Case: handleBloodLeakInitState.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakInitState
TEST.NEW
TEST.NAME:handleBloodLeakInitState.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == bloodLeakZeroRequested) ==> 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:BloodLeak.<<GLOBAL>>.bloodLeakZeroRequested:<<MIN>>
TEST.EXPECTED:BloodLeak.handleBloodLeakInitState.return:BLOOD_LEAK_INIT_STATE
TEST.END

-- Subprogram: handleBloodLeakNormalState

-- Test Case: handleBloodLeakNormalState.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakNormalState
TEST.NEW
TEST.NAME:handleBloodLeakNormalState.001
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == noFPGABloodLeakDetected()) ==> 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.noFPGABloodLeakDetected.return:1
TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE
TEST.END

-- Test Case: handleBloodLeakNormalState.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakNormalState
TEST.NEW
TEST.NAME:handleBloodLeakNormalState.002
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == noFPGABloodLeakDetected()) ==> 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.noFPGABloodLeakDetected.return:<<MIN>>
TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE
TEST.END

-- Test Case: handleBloodLeakNormalState.003
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakNormalState
TEST.NEW
TEST.NAME:handleBloodLeakNormalState.003
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == noFPGABloodLeakDetected()) ==> FALSE
      (2) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> TRUE
      (3) if (getCurrentOperationMode() == (MODE_TREA)) ==> 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:BloodLeak.getBloodLeakStatus
TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED
TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE
TEST.END

-- Test Case: handleBloodLeakNormalState.004
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakNormalState
TEST.NEW
TEST.NAME:handleBloodLeakNormalState.004
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == noFPGABloodLeakDetected()) ==> FALSE
      (2) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> FALSE
      (4) if ((1) == bloodLeakZeroRequested) ==> 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:BloodLeak.getBloodLeakStatus
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakZeroRequested:1
TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED
TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<<MIN>>
TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_ZERO_STATE
TEST.END

-- Test Case: handleBloodLeakNormalState.005
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakNormalState
TEST.NEW
TEST.NAME:handleBloodLeakNormalState.005
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == noFPGABloodLeakDetected()) ==> FALSE
      (2) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> FALSE
      (4) if ((1) == bloodLeakZeroRequested) ==> 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:BloodLeak.getBloodLeakStatus
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakPersistenceCtr:1000
TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_DETECTED
TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE
TEST.END

-- Test Case: handleBloodLeakNormalState.006
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakNormalState
TEST.NEW
TEST.NAME:handleBloodLeakNormalState.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == noFPGABloodLeakDetected()) ==> FALSE
      (2) if ((BLOOD_LEAK_DETECTED) == getBloodLeakStatus()) ==> FALSE
      (4) if ((1) == bloodLeakZeroRequested) ==> 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:BloodLeak.getBloodLeakStatus
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakPersistenceCtr:1000
TEST.VALUE:BloodLeak.getBloodLeakStatus.return:BLOOD_LEAK_NOT_DETECTED
TEST.EXPECTED:BloodLeak.handleBloodLeakNormalState.return:BLOOD_LEAK_NORMAL_STATE
TEST.END

-- Subprogram: handleBloodLeakSelfTestState

-- Test Case: handleBloodLeakSelfTestState.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakSelfTestState
TEST.NEW
TEST.NAME:handleBloodLeakSelfTestState.001
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> 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:BloodLeak.<<GLOBAL>>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_SELF_TEST_STATE
TEST.END

-- Test Case: handleBloodLeakSelfTestState.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakSelfTestState
TEST.NEW
TEST.NAME:handleBloodLeakSelfTestState.002
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> 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:BloodLeak.<<GLOBAL>>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_PASSED
TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_SELF_TEST_STATE
TEST.END

-- Test Case: handleBloodLeakSelfTestState.003
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakSelfTestState
TEST.NEW
TEST.NAME:handleBloodLeakSelfTestState.003
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> TRUE
      (2) if ((0) == noFPGABloodLeakDetected()) ==> 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:BloodLeak.<<GLOBAL>>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:1
TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_SELF_TEST_STATE
TEST.END

-- Test Case: handleBloodLeakSelfTestState.004
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakSelfTestState
TEST.NEW
TEST.NAME:handleBloodLeakSelfTestState.004
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> TRUE
      (2) if ((0) == noFPGABloodLeakDetected()) ==> FALSE
      (3) if ((1) == didTimeout(bloodLeakSelfTestStartTime, 500)) ==> 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:BloodLeak.<<GLOBAL>>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_SELF_TEST_STATE
TEST.END

-- Test Case: handleBloodLeakSelfTestState.005
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakSelfTestState
TEST.NEW
TEST.NAME:handleBloodLeakSelfTestState.005
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((SELF_TEST_STATUS_IN_PROGRESS) == bloodLeakSelfTestStatus) ==> FALSE
      (4) if ((1) == noFPGABloodLeakDetected()) ==> 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.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_PASSED
TEST.VALUE:uut_prototype_stubs.noFPGABloodLeakDetected.return:1
TEST.EXPECTED:BloodLeak.handleBloodLeakSelfTestState.return:BLOOD_LEAK_NORMAL_STATE
TEST.END

-- Subprogram: handleBloodLeakSetSetPointState

-- Test Case: handleBloodLeakSetSetPointState.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakSetSetPointState
TEST.NEW
TEST.NAME:handleBloodLeakSetSetPointState.001
TEST.EXPECTED:BloodLeak.handleBloodLeakSetSetPointState.return:BLOOD_LEAK_SET_SET_POINT_STATE
TEST.END

-- Test Case: handleBloodLeakSetSetPointState.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakSetSetPointState
TEST.NEW
TEST.NAME:handleBloodLeakSetSetPointState.002
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakUARTCmdIndex:1
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakSetPointSeqLength:3
TEST.EXPECTED:BloodLeak.handleBloodLeakSetSetPointState.return:BLOOD_LEAK_SET_SET_POINT_STATE
TEST.END

-- Test Case: handleBloodLeakSetSetPointState.003
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakSetSetPointState
TEST.NEW
TEST.NAME:handleBloodLeakSetSetPointState.003
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakUARTCmdIndex:4
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakSetPointSeqLength:3
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakWait2ReadResponseCounter:100
TEST.EXPECTED:BloodLeak.handleBloodLeakSetSetPointState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE
TEST.END

-- Subprogram: handleBloodLeakStartupState

-- Test Case: handleBloodLeakStartupState.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakStartupState
TEST.NEW
TEST.NAME:handleBloodLeakStartupState.001
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakUARTCmdIndex:3
TEST.EXPECTED:BloodLeak.handleBloodLeakStartupState.return:BLOOD_LEAK_START_UP_STATE
TEST.END

-- Test Case: handleBloodLeakStartupState.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakStartupState
TEST.NEW
TEST.NAME:handleBloodLeakStartupState.002
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakUARTCmdIndex:4
TEST.EXPECTED:BloodLeak.handleBloodLeakStartupState.return:BLOOD_LEAK_START_UP_STATE
TEST.END

-- Test Case: handleBloodLeakStartupState.003
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakStartupState
TEST.NEW
TEST.NAME:handleBloodLeakStartupState.003
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakUARTCmdIndex:6
TEST.EXPECTED:BloodLeak.handleBloodLeakStartupState.return:BLOOD_LEAK_CHECK_SET_POINT_STATE
TEST.END

-- Subprogram: handleBloodLeakZeroState

-- Test Case: handleBloodLeakZeroState.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakZeroState
TEST.NEW
TEST.NAME:handleBloodLeakZeroState.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == FPGABloodLeakZeroDetected()) ==> 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.FPGABloodLeakZeroDetected.return:1
TEST.EXPECTED:BloodLeak.handleBloodLeakZeroState.return:BLOOD_LEAK_SELF_TEST_STATE
TEST.END

-- Test Case: handleBloodLeakZeroState.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakZeroState
TEST.NEW
TEST.NAME:handleBloodLeakZeroState.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == FPGABloodLeakZeroDetected()) ==> 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.FPGABloodLeakZeroDetected.return:<<MIN>>
TEST.EXPECTED:BloodLeak.handleBloodLeakZeroState.return:BLOOD_LEAK_ZERO_STATE
TEST.END

-- Test Case: handleBloodLeakZeroState.003
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:handleBloodLeakZeroState
TEST.NEW
TEST.NAME:handleBloodLeakZeroState.003
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == FPGABloodLeakZeroDetected()) ==> FALSE
      (2) if ((1) == didTimeout(bloodLeakZeroStartTime, 500)) ==> 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.FPGABloodLeakZeroDetected.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:BloodLeak.handleBloodLeakZeroState.return:BLOOD_LEAK_ZERO_STATE
TEST.END

-- Subprogram: initBloodLeak

-- Test Case: initBloodLeak.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:initBloodLeak
TEST.NEW
TEST.NAME:initBloodLeak.001
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakSelfTestStatus:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Subprogram: initEmbModeSpecs

-- Test Case: prepareSetPointSeq.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:initEmbModeSpecs
TEST.NEW
TEST.NAME:prepareSetPointSeq.001
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakUARTCmdIndex:0
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakSetPointSeqLength:6
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakSetPointSequence:<<malloc 14>>
TEST.VALUE:BloodLeak.<<GLOBAL>>.bloodLeakSetPointSequence:"83","13","0","1","0""
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakUARTCmdIndex:0
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakSetPointSeqLength:6
TEST.END

-- Subprogram: publishBloodLeakData

-- Test Case: publishBloodLeakData.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:publishBloodLeakData
TEST.NEW
TEST.NAME:publishBloodLeakData.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++bloodLeakDataPublicationTimerCounter >= getU32OverrideValue(&bloodLeakDataPublishInterval)) ==> 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.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakDataPublicationTimerCounter:0
TEST.END

-- Test Case: publishBloodLeakData.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:publishBloodLeakData
TEST.NEW
TEST.NAME:publishBloodLeakData.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++bloodLeakDataPublicationTimerCounter >= getU32OverrideValue(&bloodLeakDataPublishInterval)) ==> 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:BloodLeak.<<GLOBAL>>.bloodLeakDataPublicationTimerCounter:0
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MAX>>
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakDataPublicationTimerCounter:1
TEST.END

-- Subprogram: testResetBloodLeakDataPublishIntervalOverride

-- Test Case: testResetBloodLeakDataPublishIntervalOverride.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:testResetBloodLeakDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetBloodLeakDataPublishIntervalOverride.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.EXPECTED:BloodLeak.testResetBloodLeakDataPublishIntervalOverride.return:1
TEST.END

-- Test Case: testResetBloodLeakDataPublishIntervalOverride.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:testResetBloodLeakDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetBloodLeakDataPublishIntervalOverride.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.EXPECTED:BloodLeak.testResetBloodLeakDataPublishIntervalOverride.return:0
TEST.END

-- Subprogram: testResetBloodLeakStatusOverride

-- Test Case: testResetBloodLeakStatusOverride.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:testResetBloodLeakStatusOverride
TEST.NEW
TEST.NAME:testResetBloodLeakStatusOverride.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.EXPECTED:BloodLeak.testResetBloodLeakStatusOverride.return:1
TEST.END

-- Test Case: testResetBloodLeakStatusOverride.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:testResetBloodLeakStatusOverride
TEST.NEW
TEST.NAME:testResetBloodLeakStatusOverride.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.EXPECTED:BloodLeak.testResetBloodLeakStatusOverride.return:0
TEST.END

-- Subprogram: testSetBloodLeakDataPublishIntervalOverride

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

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

-- Subprogram: testSetBloodLeakStatusOverride

-- Test Case: testSetBloodLeakStatusOverride.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:testSetBloodLeakStatusOverride
TEST.NEW
TEST.NAME:testSetBloodLeakStatusOverride.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_BLOOD_LEAK_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:BloodLeak.testSetBloodLeakStatusOverride.status:<<MIN>>
TEST.EXPECTED:BloodLeak.testSetBloodLeakStatusOverride.return:0
TEST.END

-- Test Case: testSetBloodLeakStatusOverride.002
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:testSetBloodLeakStatusOverride
TEST.NEW
TEST.NAME:testSetBloodLeakStatusOverride.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_BLOOD_LEAK_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:BloodLeak.testSetBloodLeakStatusOverride.status:<<MAX>>
TEST.EXPECTED:BloodLeak.testSetBloodLeakStatusOverride.return:0
TEST.END

-- Test Case: testSetBloodLeakStatusOverride.003
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:testSetBloodLeakStatusOverride
TEST.NEW
TEST.NAME:testSetBloodLeakStatusOverride.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_BLOOD_LEAK_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:BloodLeak.testSetBloodLeakStatusOverride.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:BloodLeak.testSetBloodLeakStatusOverride.return:1
TEST.END

-- Test Case: testSetBloodLeakStatusOverride.004
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:testSetBloodLeakStatusOverride
TEST.NEW
TEST.NAME:testSetBloodLeakStatusOverride.004
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (status < (NUM_OF_BLOOD_LEAK_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:BloodLeak.testSetBloodLeakStatusOverride.status:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:BloodLeak.testSetBloodLeakStatusOverride.return:0
TEST.END

-- Subprogram: zeroBloodLeak

-- Test Case: zeroBloodLeak.001
TEST.UNIT:BloodLeak
TEST.SUBPROGRAM:zeroBloodLeak
TEST.NEW
TEST.NAME:zeroBloodLeak.001
TEST.EXPECTED:BloodLeak.<<GLOBAL>>.bloodLeakZeroRequested:1
TEST.END