-- 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.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:BLOOD_PRIME_RAMP_STATE
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.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:NUM_OF_BLOOD_PRIME_STATES
TEST.END

-- Subprogram: getBloodPrimeVolume

-- Test Case: getBloodPrimeVolume.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:getBloodPrimeVolume
TEST.NEW
TEST.NAME:getBloodPrimeVolume.001
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.EXPECTED:BloodPrime.getBloodPrimeVolume.return:0.0
TEST.END

-- Test Case: getBloodPrimeVolume.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:getBloodPrimeVolume
TEST.NEW
TEST.NAME:getBloodPrimeVolume.002
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.EXPECTED:BloodPrime.getBloodPrimeVolume.return:0.0
TEST.END

-- Subprogram: getCurrentBloodPrimeState

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

-- Subprogram: handleBloodPrimeRampState

-- 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.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
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.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
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.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Test Case: handleBloodPrimeRampState.004
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState.004
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.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Test Case: handleBloodPrimeRampState.005
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:handleBloodPrimeRampState
TEST.NEW
TEST.NAME:handleBloodPrimeRampState.005
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.EXPECTED:BloodPrime.handleBloodPrimeRampState.return:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Subprogram: initBloodPrime

-- 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.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:BLOOD_PRIME_RAMP_STATE
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.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Test Case: initBloodPrime.003
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:initBloodPrime
TEST.NEW
TEST.NAME:initBloodPrime.003
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.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:BLOOD_PRIME_RAMP_STATE
TEST.END

-- Subprogram: publishBloodPrimeData

-- Test Case: publishBloodPrimeData.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:publishBloodPrimeData
TEST.NEW
TEST.NAME:publishBloodPrimeData.001
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.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:0
TEST.END

-- Test Case: publishBloodPrimeData.002
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:publishBloodPrimeData
TEST.NEW
TEST.NAME:publishBloodPrimeData.002
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.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:0
TEST.END

-- Subprogram: resetBloodPrimeFlags

-- Test Case: resetBloodPrimeFlags.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:resetBloodPrimeFlags
TEST.NEW
TEST.NAME:resetBloodPrimeFlags.001
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeRampControlTimerCtr:0
TEST.END

-- Subprogram: testResetBloodPrimePublishIntervalOverride

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

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

-- Subprogram: testResetBloodPrimeVolumeOverride

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

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

-- Subprogram: testSetBloodPrimePublishIntervalOverride

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

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

-- Subprogram: testSetBloodPrimeVolumeOverride

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

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

-- Subprogram: transitionToBloodPrime

-- Test Case: transitionToBloodPrime.001
TEST.UNIT:BloodPrime
TEST.SUBPROGRAM:transitionToBloodPrime
TEST.NEW
TEST.NAME:transitionToBloodPrime.001
TEST.EXPECTED:BloodPrime.<<GLOBAL>>.bloodPrimeState:BLOOD_PRIME_RAMP_STATE
TEST.END