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

-- Subprogram: execBloodPrime

-- Test Case: execBloodPrime.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:execBloodPrime
TEST.NEW
TEST.NAME:execBloodPrime.001
TEST.END

-- Test Case: execBloodPrime.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:execBloodPrime
TEST.NEW
TEST.NAME:execBloodPrime.002
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeState:NUM_OF_BLOOD_PRIME_STATES
TEST.END

-- Subprogram: getBloodPrimeVolume

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:getBloodPrimeVolume
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 == cumulativeBloodPrimeVolume_mL.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:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:getBloodPrimeVolume
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 == cumulativeBloodPrimeVolume_mL.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:BloodPrime.<<GLOBAL>>.cumulativeBloodPrimeVolume_mL.override:<<MIN>>
TEST.END

-- Subprogram: getCurrentBloodPrimeState

-- Test Case: getCurrentBloodPrimeState.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:getCurrentBloodPrimeState
TEST.NEW
TEST.NAME:getCurrentBloodPrimeState.001
TEST.END

-- Subprogram: handleBloodPrimeRampState

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
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 (getBloodPrimeVolume() >= (300.0)) ==> 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:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
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 (getBloodPrimeVolume() >= (300.0)) ==> 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:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 108 TEST.STUB:BloodPrime.fabs
    >>>     >>> Could not find function fabs
    >>>     >>>    in unit BloodPrime.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 108 
    >>>     >>> Could not stub BloodPrime.fabs
    >>> (E) @LINE: 110 TEST.VALUE:BloodPrime.fabs.return:<<MAX>>
    >>>     >>> Subprogram 'fabs' is invalid
    >>>     >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (getBloodPrimeVolume() >= (300.0)) ==> FALSE
      (2) if (fabs(expectedBloodPrimeVolume_mL - getBloodPrimeVolume()) > (60.0)) ==> 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:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 129 TEST.STUB:BloodPrime.fabs
    >>>     >>> Could not find function fabs
    >>>     >>>    in unit BloodPrime.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 129 
    >>>     >>> Could not stub BloodPrime.fabs
    >>> (E) @LINE: 131 TEST.VALUE:BloodPrime.fabs.return:<<MIN>>
    >>>     >>> Subprogram 'fabs' is invalid
    >>>     >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (getBloodPrimeVolume() >= (300.0)) ==> FALSE
      (2) if (fabs(expectedBloodPrimeVolume_mL - getBloodPrimeVolume()) > (60.0)) ==> 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:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 152 TEST.STUB:BloodPrime.fabs
    >>>     >>> Could not find function fabs
    >>>     >>>    in unit BloodPrime.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 152 
    >>>     >>> Could not stub BloodPrime.fabs
    >>> (E) @LINE: 154 TEST.VALUE:BloodPrime.fabs.return:<<MIN>>
    >>>     >>> Subprogram 'fabs' is invalid
    >>>     >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (getBloodPrimeVolume() >= (300.0)) ==> FALSE
      (2) if (fabs(expectedBloodPrimeVolume_mL - getBloodPrimeVolume()) > (60.0)) ==> FALSE
      (3) if (++bloodPrimeRampControlTimerCtr >= BLOOD_PRIME_RAMPING_INTERVAL) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 175 TEST.STUB:BloodPrime.fabs
    >>>     >>> Could not find function fabs
    >>>     >>>    in unit BloodPrime.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 175 
    >>>     >>> Could not stub BloodPrime.fabs
    >>> (E) @LINE: 177 TEST.VALUE:BloodPrime.fabs.return:<<MIN>>
    >>>     >>> Subprogram 'fabs' is invalid
    >>>     >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (getBloodPrimeVolume() >= (300.0)) ==> FALSE
      (2) if (fabs(expectedBloodPrimeVolume_mL - getBloodPrimeVolume()) > (60.0)) ==> FALSE
      (3) if (++bloodPrimeRampControlTimerCtr >= BLOOD_PRIME_RAMPING_INTERVAL) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 199 TEST.STUB:BloodPrime.fabs
    >>>     >>> Could not find function fabs
    >>>     >>>    in unit BloodPrime.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 199 
    >>>     >>> Could not stub BloodPrime.fabs
    >>> (E) @LINE: 202 TEST.VALUE:BloodPrime.fabs.return:<<MIN>>
    >>>     >>> Subprogram 'fabs' is invalid
    >>>     >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (getBloodPrimeVolume() >= (300.0)) ==> FALSE
      (2) if (fabs(expectedBloodPrimeVolume_mL - getBloodPrimeVolume()) > (60.0)) ==> FALSE
      (3) if (++bloodPrimeRampControlTimerCtr >= BLOOD_PRIME_RAMPING_INTERVAL) ==> TRUE
      (4) if (bloodPrimeRampFlowRate_mL_min < (F32)setBPRate) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeRampFlowRate_mL_min:<<MIN>>
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<<MAX>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 225 TEST.STUB:BloodPrime.fabs
    >>>     >>> Could not find function fabs
    >>>     >>>    in unit BloodPrime.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 225 
    >>>     >>> Could not stub BloodPrime.fabs
    >>> (E) @LINE: 228 TEST.VALUE:BloodPrime.fabs.return:<<MIN>>
    >>>     >>> Subprogram 'fabs' is invalid
    >>>     >>> Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (getBloodPrimeVolume() >= (300.0)) ==> FALSE
      (2) if (fabs(expectedBloodPrimeVolume_mL - getBloodPrimeVolume()) > (60.0)) ==> FALSE
      (3) if (++bloodPrimeRampControlTimerCtr >= BLOOD_PRIME_RAMPING_INTERVAL) ==> TRUE
      (4) if (bloodPrimeRampFlowRate_mL_min < (F32)setBPRate) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeRampFlowRate_mL_min:<<MAX>>
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<<MIN>>
TEST.END

-- Test Case: handleBloodPrimeRampState.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState.001
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:0.0
TEST.END

-- Test Case: handleBloodPrimeRampState.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState.002
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:100
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:0.0
TEST.END

-- Test Case: handleBloodPrimeRampState.003
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState.003
TEST.STUB:BloodPrime.getBloodPrimeVolume
TEST.VALUE:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:100
TEST.VALUE:BloodPrime.getBloodPrimeVolume.return:0.0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:1
TEST.END

-- Subprogram: initBloodPrime

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:initBloodPrime
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 (setBPRate <= (100)) ==> 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.getTreatmentParameterU32.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:initBloodPrime
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 (setBPRate <= (100)) ==> 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.getTreatmentParameterU32.return:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:initBloodPrime
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 (setBPRate <= (100)) ==> FALSE
      (2) if (estRampSeconds < (F32)60) ==> 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 estRampSeconds in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:initBloodPrime
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 (setBPRate <= (100)) ==> FALSE
      (2) if (estRampSeconds < (F32)60) ==> 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 estRampSeconds in branch 2
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:<<MAX>>
TEST.END

-- Test Case: initBloodPrime.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:initBloodPrime
TEST.NEW
TEST.NAME:initBloodPrime.001
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:200
TEST.END

-- Test Case: initBloodPrime.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:initBloodPrime
TEST.NEW
TEST.NAME:initBloodPrime.002
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:1000
TEST.END

-- Subprogram: publishBloodPrimeData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:publishBloodPrimeData
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 (++bloodPrimePublishTimerCtr >= getU32OverrideValue(&bloodPrimePublishInterval)) ==> 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:BloodPrime
TEST.SUBPROGRAM:publishBloodPrimeData
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 (++bloodPrimePublishTimerCtr >= getU32OverrideValue(&bloodPrimePublishInterval)) ==> 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: resetBloodPrimeFlags

-- Test Case: resetBloodPrimeFlags.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:resetBloodPrimeFlags
TEST.NEW
TEST.NAME:resetBloodPrimeFlags.001
TEST.END

-- Subprogram: testResetBloodPrimePublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testResetBloodPrimePublishIntervalOverride
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:BloodPrime
TEST.SUBPROGRAM:testResetBloodPrimePublishIntervalOverride
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: testResetBloodPrimeVolumeOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testResetBloodPrimeVolumeOverride
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:BloodPrime
TEST.SUBPROGRAM:testResetBloodPrimeVolumeOverride
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: testSetBloodPrimePublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testSetBloodPrimePublishIntervalOverride
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:BloodPrime.testSetBloodPrimePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testSetBloodPrimePublishIntervalOverride
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:BloodPrime.testSetBloodPrimePublishIntervalOverride.ms:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetBloodPrimeVolumeOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testSetBloodPrimeVolumeOverride
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:BloodPrime.testSetBloodPrimeVolumeOverride.vol:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:testSetBloodPrimeVolumeOverride
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:BloodPrime.testSetBloodPrimeVolumeOverride.vol:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: transitionToBloodPrime

-- Test Case: transitionToBloodPrime.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:transitionToBloodPrime
TEST.NEW
TEST.NAME:transitionToBloodPrime.001
TEST.END