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

-- Subprogram: checkArterialPressureInRange

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.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.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.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.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_TF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:14 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> TRUE
      (2) (artPres > (2000.0) || artPres < -(1500.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_b_FT
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_b_FT
TEST.MCDC_BASIS_PATH:16 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> TRUE
      (2) (artPres > (2000.0) || artPres < -(1500.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #2, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_a_FF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:15 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> TRUE
      (2) (artPres > (2000.0) || artPres < -(1500.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-1500.0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_b_FF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_b_FF
TEST.MCDC_BASIS_PATH:17 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> TRUE
      (2) (artPres > (2000.0) || artPres < -(1500.0)) ==> FALSE
      Row number 4 forms a pair with Row 3 for Condition #2, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-1500.0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_TT
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:4 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_b_TF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:5 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MAX>>
TEST.END

-- Test Case: COND_3_ROW_3_PAIR_a_FT
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:3 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> 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 uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> 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.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> TRUE
      (5) (artPres < artLowLimit) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> TRUE
      (5) (artPres < artLowLimit) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/4
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_HIGH, artPres > artHighLimit)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/6
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:8 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_HIGH, artPres > artHighLimit)) ==> 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.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_HIGH, artPres > artHighLimit)) ==> TRUE
      (7) (artPres > artHighLimit) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/6
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 17
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_ARTERIAL_PRESSURE_OUT_OF_RANGE, artPres > (2000.0) || artPres < -(1500.0))) ==> FALSE
      (3) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_LOW, artPres < artLowLimit)) ==> FALSE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_ARTERIAL_PRESSURE_HIGH, artPres > artHighLimit)) ==> TRUE
      (7) (artPres > artHighLimit) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/6
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: checkArterialPressureInRange.001
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:checkArterialPressureInRange.001
TEST.STUB:PresOccl.getFilteredArterialPressure
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:3000.0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: checkArterialPressureInRange.002
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:checkArterialPressureInRange.002
TEST.STUB:PresOccl.getFilteredArterialPressure
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-2000.0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: checkArterialPressureInRange_NominalPath
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:checkArterialPressureInRange_NominalPath
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 29 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.alarmIndex:PERSISTENT_ALARM_ARTERIAL_PRESSURE_LOW,PERSISTENT_ALARM_ARTERIAL_PRESSURE_HIGH
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 30 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.isOutOfRange:(2)0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 31 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.data:(2)101.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 32 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.limit:100.0,400.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:101.0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:100,400
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterS32.param:TREATMENT_PARAM_ART_PRESSURE_LOW_LIMIT,TREATMENT_PARAM_ART_PRESSURE_HIGH_LIMIT
TEST.END

-- Test Case: checkArterialPressureInRange_NotInTreatmentMode
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:checkArterialPressureInRange_NotInTreatmentMode
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:99.0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_STAN
TEST.END

-- Test Case: checkArterialPressureInRange_TooHigh
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:checkArterialPressureInRange_TooHigh
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 58 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.alarmIndex:PERSISTENT_ALARM_ARTERIAL_PRESSURE_LOW,PERSISTENT_ALARM_ARTERIAL_PRESSURE_HIGH
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 59 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.isOutOfRange:0,1
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 60 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.data:(2)401.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 61 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.limit:100.0,400.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:401.0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:100,400
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterS32.param:TREATMENT_PARAM_ART_PRESSURE_LOW_LIMIT,TREATMENT_PARAM_ART_PRESSURE_HIGH_LIMIT
TEST.END

-- Test Case: checkArterialPressureInRange_TooLow
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkArterialPressureInRange
TEST.NEW
TEST.NAME:checkArterialPressureInRange_TooLow
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 73 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.alarmIndex:PERSISTENT_ALARM_ARTERIAL_PRESSURE_LOW,PERSISTENT_ALARM_ARTERIAL_PRESSURE_HIGH
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 74 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.isOutOfRange:1,0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 75 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.data:(2)99.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 76 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.limit:100.0,400.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:99.0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:100,400
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterS32.param:TREATMENT_PARAM_ART_PRESSURE_LOW_LIMIT,TREATMENT_PARAM_ART_PRESSURE_HIGH_LIMIT
TEST.END

-- Subprogram: checkOcclusions

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
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) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, bpOccl < (2000))) ==> 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.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
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) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, bpOccl < (2000))) ==> 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.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, bpOccl < (2000))) ==> TRUE
      (2) (bpOccl < (2000)) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, bpOccl < (2000))) ==> TRUE
      (2) (bpOccl < (2000)) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, bpOccl < (2000))) ==> FALSE
      (3) if (bpOccl > (10000) + bloodPumpOcclusionAfterCartridgeInstall) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:COND_3_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) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, bpOccl < (2000))) ==> FALSE
      (3) if (bpOccl > (10000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, bpOccl < (2000))) ==> FALSE
      (3) if (bpOccl > (10000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE
      (4) if (bpOccl < (6000) + bloodPumpOcclusionAfterCartridgeInstall) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:COND_4_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) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_OUT_OF_RANGE, bpOccl < (2000))) ==> FALSE
      (3) if (bpOccl > (10000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE
      (4) if (bpOccl < (6000) + bloodPumpOcclusionAfterCartridgeInstall) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set variable TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return: in branch 4 to unknown value
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: checkOcclusions.001
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:checkOcclusions.001
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:7000
TEST.END

-- Test Case: checkOcclusions_BloodPumpOcclusion
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:checkOcclusions_BloodPumpOcclusion
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 87 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:24999
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 88 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:24999
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:25001
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_OCCLUSION_BLOOD_PUMP
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:25001
TEST.END

-- Test Case: checkOcclusions_DialInPumpOcclusion
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:checkOcclusions_DialInPumpOcclusion
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 100 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:25001
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 101 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:24999
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 102 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_OCCLUSION_DIAL_IN_PUMP
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "ALARM_ID_OCCLUSION_DIAL_IN_PUMP"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:24999
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.END

-- Test Case: checkOcclusions_DialOutPumpOcclusion
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:checkOcclusions_DialOutPumpOcclusion
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 113 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:24999
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 114 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:25001
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 115 TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_OCCLUSION_DIAL_OUT_PUMP
    >>>     >>> Value for 'Enumeral' out of range
    >>>     >>>   Read "ALARM_ID_OCCLUSION_DIAL_OUT_PUMP"
    >>>     >>>   Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:24999
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.END

-- Test Case: checkOcclusions_NoAlarms
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkOcclusions
TEST.NEW
TEST.NAME:checkOcclusions_NoAlarms
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 126 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:24999
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 127 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:24999
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:24999
TEST.END

-- Subprogram: checkVenousPressureInRange

-- Test Case: COND_1_ROW_2_PAIR_a_TF-TEMPLATE
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT-TEMPLATE
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:1 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:17 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> TRUE
      (2) (venPres > (2000.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.VALUE:PresOccl.getFilteredVenousPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:18 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> TRUE
      (2) (venPres > (2000.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.VALUE:PresOccl.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:19 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> TRUE
      (3) (venPres < -(1500.0)) ==> 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:PresOccl.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:20 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> TRUE
      (3) (venPres < -(1500.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_TT
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:5 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_b_TF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:6 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MAX>>
TEST.END

-- Test Case: COND_4_ROW_3_PAIR_a_FT
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_4_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:4 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:8 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:7 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/6
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:13 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> 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.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:15 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> TRUE
      (7) (venPres < venLowLimit) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/6
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:16 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> TRUE
      (6) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_LOW, venPres < venLowLimit)) ==> TRUE
      (7) (venPres < venLowLimit) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/6
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_CLOSED
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> 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 uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/8
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:9 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> 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.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> TRUE
      (9) (venPres > venHighLimit) ==> 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 uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/8
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN
TEST.END

-- Test Case: COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres > (2000.0)) || (1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_OUT_OF_RANGE, venPres < -(1500.0))) ==> FALSE
      (4) if ((MODE_TREA) == getCurrentOperationMode() && getTreatmentState() <= (TREATMENT_DIALYSIS_STATE)) ==> TRUE
      (5) if (getValveAirTrapStatus() != (STATE_OPEN)) ==> FALSE
      (8) if ((1) == isPersistentAlarmTriggered(ALARM_ID_VENOUS_PRESSURE_HIGH, venPres > venHighLimit)) ==> TRUE
      (9) (venPres > venHighLimit) ==> 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 uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/8
TEST.END_NOTES:
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN
TEST.END

-- Test Case: checkVenousPressureInRange.001
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:checkVenousPressureInRange.001
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: checkVenousPressureInRange.002
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:checkVenousPressureInRange.002
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:3000.0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: checkVenousPressureInRange.003
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:checkVenousPressureInRange.003
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-2000.0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0,1
TEST.END

-- Test Case: checkVenousPressureInRange_NominalPath
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:checkVenousPressureInRange_NominalPath
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 145 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.alarmIndex:PERSISTENT_ALARM_VENOUS_PRESSURE_LOW,PERSISTENT_ALARM_VENOUS_PRESSURE_HIGH
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 146 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.isOutOfRange:(2)0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 147 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.data:(2)-200.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 148 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.limit:-300.0,200.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:-200.0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:-300,200
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterS32.param:TREATMENT_PARAM_VEN_PRESSURE_LOW_LIMIT,TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT
TEST.END

-- Test Case: checkVenousPressureInRange_NotInTreatmentMode
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:checkVenousPressureInRange_NotInTreatmentMode
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:-99.0
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TPAR
TEST.END

-- Test Case: checkVenousPressureInRange_TooHigh
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:checkVenousPressureInRange_TooHigh
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 174 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.alarmIndex:PERSISTENT_ALARM_VENOUS_PRESSURE_LOW,PERSISTENT_ALARM_VENOUS_PRESSURE_HIGH
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 175 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.isOutOfRange:0,1
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 176 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.data:(2)201.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 177 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.limit:-300.0,200.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:201.0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:-300,200
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterS32.param:TREATMENT_PARAM_VEN_PRESSURE_LOW_LIMIT,TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT
TEST.END

-- Test Case: checkVenousPressureInRange_TooLow
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:checkVenousPressureInRange
TEST.NEW
TEST.NAME:checkVenousPressureInRange_TooLow
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 189 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.alarmIndex:PERSISTENT_ALARM_VENOUS_PRESSURE_LOW,PERSISTENT_ALARM_VENOUS_PRESSURE_HIGH
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 190 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.isOutOfRange:1,0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 191 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.data:(2)-301.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 192 TEST.EXPECTED:uut_prototype_stubs.checkPersistentAlarm.limit:-300.0,200.0
    >>>     >>> Could not find function checkPersistentAlarm
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:-301.0
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterS32.return:-300,200
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterS32.param:TREATMENT_PARAM_VEN_PRESSURE_LOW_LIMIT,TREATMENT_PARAM_VEN_PRESSURE_HIGH_LIMIT
TEST.END

-- Subprogram: convertInlinePressures

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0 == artPresAlarm) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0 == artPresAlarm) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:16 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if (0 == artPresAlarm) ==> TRUE
      (2) if ((0) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0)) ==> 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 artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:15 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if (0 == artPresAlarm) ==> TRUE
      (2) if ((0) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0)) ==> 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 artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_TF-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_TF-PARTIAL
TEST.MCDC_BASIS_PATH:17 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if (0 == artPresAlarm) ==> TRUE
      (2) if ((0) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0)) ==> TRUE
      (3) (lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #3, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.lastArterialPressureReadCtr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressureReadCounter.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressureErrorCounter.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0
TEST.END

-- Test Case: COND_3_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:19 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if (0 == artPresAlarm) ==> TRUE
      (2) if ((0) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0)) ==> TRUE
      (3) (lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #3, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.lastArterialPressureReadCtr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressureReadCounter.return:1
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressureErrorCounter.return:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0
TEST.END

-- Test Case: COND_3_ROW_4_PAIR_a_FF-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_3_ROW_4_PAIR_a_FF-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if (0 == artPresAlarm) ==> TRUE
      (2) if ((0) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0)) ==> TRUE
      (3) (lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.lastArterialPressureReadCtr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressureReadCounter.return:1
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressureErrorCounter.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0
TEST.END

-- Test Case: COND_3_ROW_4_PAIR_b_FF-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_3_ROW_4_PAIR_b_FF-PARTIAL
TEST.MCDC_BASIS_PATH:20 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (1) if (0 == artPresAlarm) ==> TRUE
      (2) if ((0) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0)) ==> TRUE
      (3) (lastArterialPressureReadCtr == artReadCtr || artErrorCtr > 0) ==> FALSE
      Row number 4 forms a pair with Row 3 for Condition #3, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.lastArterialPressureReadCtr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressureReadCounter.return:1
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressureErrorCounter.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:0
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> TRUE
      (5) (lastVenousPressureReadCtr == venReadCtr) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.lastVenousPressureReadCtr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressureReadCounter.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> TRUE
      (5) (lastVenousPressureReadCtr == venReadCtr) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.lastVenousPressureReadCtr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressureReadCounter.return:1
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE
      (6) if (0 == venPresStatus) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable venPresStatus in branch 6
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE
      (6) if (0 == venPresStatus) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable venPresStatus in branch 6
      Cannot set local variable artPresAlarm in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:8 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE
      (6) if (0 == venPresStatus) ==> FALSE
      (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_SENSOR_TEMP_OUT_OF_RANGE, venTemp > (80.0) || venTemp < (0.0))) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
      Cannot set local variable venPresStatus in branch 6
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 4/7
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE
      (6) if (0 == venPresStatus) ==> FALSE
      (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_SENSOR_TEMP_OUT_OF_RANGE, venTemp > (80.0) || venTemp < (0.0))) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
      Cannot set local variable venPresStatus in branch 6
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_TF-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_TF-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE
      (6) if (0 == venPresStatus) ==> FALSE
      (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_SENSOR_TEMP_OUT_OF_RANGE, venTemp > (80.0) || venTemp < (0.0))) ==> TRUE
      (8) (venTemp > (80.0) || venTemp < (0.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #8, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
      Cannot set local variable venPresStatus in branch 6
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 4/7
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MAX>>
TEST.END

-- Test Case: COND_8_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_8_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE
      (6) if (0 == venPresStatus) ==> FALSE
      (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_SENSOR_TEMP_OUT_OF_RANGE, venTemp > (80.0) || venTemp < (0.0))) ==> TRUE
      (8) (venTemp > (80.0) || venTemp < (0.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #8, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
      Cannot set local variable venPresStatus in branch 6
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 4/7
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_4_PAIR_a_FF-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_8_ROW_4_PAIR_a_FF-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE
      (6) if (0 == venPresStatus) ==> FALSE
      (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_SENSOR_TEMP_OUT_OF_RANGE, venTemp > (80.0) || venTemp < (0.0))) ==> TRUE
      (8) (venTemp > (80.0) || venTemp < (0.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
      Cannot set local variable venPresStatus in branch 6
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 4/7
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:0.0
TEST.END

-- Test Case: COND_8_ROW_4_PAIR_b_FF-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:COND_8_ROW_4_PAIR_b_FF-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if (0 == artPresAlarm) ==> FALSE
      (4) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_READ_TIMEOUT_ERROR, lastVenousPressureReadCtr == venReadCtr)) ==> FALSE
      (6) if (0 == venPresStatus) ==> FALSE
      (7) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_VENOUS_PRESSURE_SENSOR_TEMP_OUT_OF_RANGE, venTemp > (80.0) || venTemp < (0.0))) ==> TRUE
      (8) (venTemp > (80.0) || venTemp < (0.0)) ==> FALSE
      Row number 4 forms a pair with Row 3 for Condition #8, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable artPresAlarm in branch 1
      Cannot set local variable venPresStatus in branch 6
      Conflict: Trying to set variable uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 4/7
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:0.0
TEST.END

-- Test Case: convertInlinePressures_ArterialAlarm
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:convertInlinePressures_ArterialAlarm
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x1801000
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:0x2328
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:0.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:191.401
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarm:ALARM_ID_ARTERIAL_PRESSURE_SENSOR_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm1Data.alarmData.data.uInt.data:1
TEST.END

-- Test Case: convertInlinePressures_NominalPath
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:convertInlinePressures_NominalPath
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:9000
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:97.6562
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:191.401
TEST.END

-- Test Case: convertInlinePressures_VenousCmdMode
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:convertInlinePressures_VenousCmdMode
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 238 TEST.VALUE:PresOccl.<<GLOBAL>>.staleVenousPressureCtr:1
    >>>     >>> Unknown parameter/object name staleVenousPressureCtr
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 244 TEST.EXPECTED:PresOccl.<<GLOBAL>>.staleVenousPressureCtr:2
    >>>     >>> Unknown parameter/object name staleVenousPressureCtr
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:0x6328
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:97.6562
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.END

-- Test Case: convertInlinePressures_VenousDiagCondition
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:convertInlinePressures_VenousDiagCondition
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 258 TEST.VALUE:PresOccl.<<GLOBAL>>.staleVenousPressureCtr:1
    >>>     >>> Unknown parameter/object name staleVenousPressureCtr
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 264 TEST.EXPECTED:PresOccl.<<GLOBAL>>.staleVenousPressureCtr:2
    >>>     >>> Unknown parameter/object name staleVenousPressureCtr
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:0xE328
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:97.6562
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.END

-- Test Case: convertInlinePressures_VenousStaleReading
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:convertInlinePressures_VenousStaleReading
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 278 TEST.VALUE:PresOccl.<<GLOBAL>>.staleVenousPressureCtr:9
    >>>     >>> Unknown parameter/object name staleVenousPressureCtr
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 284 TEST.EXPECTED:PresOccl.<<GLOBAL>>.staleVenousPressureCtr:10
    >>>     >>> Unknown parameter/object name staleVenousPressureCtr
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:0xA328
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:97.6562
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.END

-- Test Case: convertInlinePressures_VenousStaleReadingAlarm
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertInlinePressures
TEST.NEW
TEST.NAME:convertInlinePressures_VenousStaleReadingAlarm
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 295 TEST.VALUE:PresOccl.<<GLOBAL>>.staleVenousPressureCtr:10
    >>>     >>> Unknown parameter/object name staleVenousPressureCtr
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 301 TEST.EXPECTED:PresOccl.<<GLOBAL>>.staleVenousPressureCtr:11
    >>>     >>> Unknown parameter/object name staleVenousPressureCtr
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:0xA328
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:97.6562
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.END

-- Subprogram: convertOcclusionPressures

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertOcclusionPressures
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) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> 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.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertOcclusionPressures
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) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> 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.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertOcclusionPressures
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> TRUE
      (2) (bpErrorCtr != lastBPErrorCtr) ==> 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:PresOccl.<<GLOBAL>>.lastBPErrorCtr:1
TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusionErrorCounter.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertOcclusionPressures
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> TRUE
      (2) (bpErrorCtr != lastBPErrorCtr) ==> 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:PresOccl.<<GLOBAL>>.lastBPErrorCtr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusionErrorCounter.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertOcclusionPressures
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_READ_TIMEOUT_ERROR, bpReadCtr == lastBPOcclReadCtr)) ==> 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 uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertOcclusionPressures
TEST.NEW
TEST.NAME:COND_3_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) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_READ_TIMEOUT_ERROR, bpReadCtr == lastBPOcclReadCtr)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertOcclusionPressures
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_READ_TIMEOUT_ERROR, bpReadCtr == lastBPOcclReadCtr)) ==> TRUE
      (4) (bpReadCtr == lastBPOcclReadCtr) ==> 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 uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.lastBPOcclReadCtr:<<MIN>>
TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusionReadCounter.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertOcclusionPressures
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_SENSOR_ERROR, bpErrorCtr != lastBPErrorCtr)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_BP_OCCLUSION_READ_TIMEOUT_ERROR, bpReadCtr == lastBPOcclReadCtr)) ==> TRUE
      (4) (bpReadCtr == lastBPOcclReadCtr) ==> 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 uut_prototype_stubs.isPersistentAlarmTriggered.return 'equal to' and 'not equal to' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.lastBPOcclReadCtr:1
TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusionReadCounter.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: convertOcclusionPressures_NominalPath
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:convertOcclusionPressures
TEST.NEW
TEST.NAME:convertOcclusionPressures_NominalPath
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 315 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:0
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 316 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:0
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 318 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpOcclusion.return:5000
    >>>     >>> Could not find function getFPGADialInPumpOcclusion
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 319 TEST.VALUE:uut_prototype_stubs.getFPGADialOutPumpOcclusion.return:6000
    >>>     >>> Could not find function getFPGADialOutPumpOcclusion
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 321 TEST.EXPECTED:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:5000
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 322 TEST.EXPECTED:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:6000
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:0
TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusion.return:4000
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:4000
TEST.END

-- Subprogram: execPresOccl

-- Test Case: execPresOccl_ContReadState
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOccl
TEST.NEW
TEST.NAME:execPresOccl_ContReadState
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 336 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:0
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 337 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:0
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 341 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpOcclusion.return:300
    >>>     >>> Could not find function getFPGADialInPumpOcclusion
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 342 TEST.VALUE:uut_prototype_stubs.getFPGADialOutPumpOcclusion.return:400
    >>>     >>> Could not find function getFPGADialOutPumpOcclusion
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 347 TEST.EXPECTED:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:300
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 348 TEST.EXPECTED:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:400
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:0
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:9000
TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusion.return:200
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:97.6562
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:191.401
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.END

-- Test Case: execPresOccl_InitState
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOccl
TEST.NEW
TEST.NAME:execPresOccl_InitState
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_INIT_STATE
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.END

-- Test Case: execPresOccl_InvalidState
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOccl
TEST.NEW
TEST.NAME:execPresOccl_InvalidState
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:NUM_OF_PRESSURE_STATES
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:47
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:2
TEST.END

-- Subprogram: execPresOcclDryTest

-- Test Case: COND_1_ROW_2_PAIR_a_TF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclDryTest
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (bpPressure <= (5000) || bpPressure >= (20000)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_b_FT
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclDryTest
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_b_FT
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (bpPressure <= (5000) || bpPressure >= (20000)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #1, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_4_PAIR_a_FF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclDryTest
TEST.NEW
TEST.NAME:COND_1_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (bpPressure <= (5000) || bpPressure >= (20000)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:5001
TEST.END

-- Subprogram: execPresOcclTest

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclTest
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 (bpPressure > (5000)) ==> 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:PresOccl.getFilteredArterialPressure
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclTest
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 (bpPressure > (5000)) ==> 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:PresOccl.getFilteredArterialPressure
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_TF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclTest
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (bpPressure > (5000)) ==> FALSE
      (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #2, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PresOccl.getFilteredArterialPressure
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<<MIN>>
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_b_FT
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclTest
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_b_FT
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (bpPressure > (5000)) ==> FALSE
      (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #2, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PresOccl.getFilteredArterialPressure
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:<<MAX>>
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_a_FF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclTest
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (bpPressure > (5000)) ==> FALSE
      (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PresOccl.getFilteredArterialPressure
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-299.9
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_TF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclTest
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_TF
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (bpPressure > (5000)) ==> FALSE
      (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> FALSE
      (3) if (venousPressure <= -(100.0) || venousPressure >= (600.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #3, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PresOccl.getFilteredArterialPressure
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-299.9
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<<MIN>>
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_3_PAIR_b_FT
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclTest
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_b_FT
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (bpPressure > (5000)) ==> FALSE
      (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> FALSE
      (3) if (venousPressure <= -(100.0) || venousPressure >= (600.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #3, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PresOccl.getFilteredArterialPressure
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-299.9
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:<<MAX>>
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_4_PAIR_a_FF
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:execPresOcclTest
TEST.NEW
TEST.NAME:COND_3_ROW_4_PAIR_a_FF
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (bpPressure > (5000)) ==> FALSE
      (2) if (arterialPressure <= -(300.0) || arterialPressure >= (100.0)) ==> FALSE
      (3) if (venousPressure <= -(100.0) || venousPressure >= (600.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:PresOccl.getFilteredArterialPressure
TEST.STUB:PresOccl.getFilteredVenousPressure
TEST.STUB:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getFilteredArterialPressure.return:-299.9
TEST.VALUE:PresOccl.getFilteredVenousPressure.return:-99.9
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Subprogram: filterInlinePressureReadings

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
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 (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> 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:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MAX>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
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 (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> 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:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (2) (artPressureReadingsLongIdx >= (1000 / 50) * 10 - 1) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( PresOccl.<<GLOBAL>>.artPressureReadingsLongIdx ) in branch 2
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongIdx:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (3) (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> 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 PresOccl.<<GLOBAL>>.artPressureReadingsLongCount 'less than' and 'greater than' same value in branches 1/3
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MAX>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (3) (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_4_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 (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set artPressureReadingsLongCount due to assignment
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MAX>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set artPressureReadingsLongCount due to assignment
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (5) (artPressureReadingsShortIdx >= (1000 / 50) * 1 - 1) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( PresOccl.<<GLOBAL>>.artPressureReadingsShortIdx ) in branch 5
      Cannot set artPressureReadingsLongCount due to assignment
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortIdx:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (6) (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set artPressureReadingsLongCount due to assignment
      Conflict: Trying to set variable PresOccl.<<GLOBAL>>.artPressureReadingsShortCount 'less than' and 'greater than' same value in branches 4/6
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MAX>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (6) (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set artPressureReadingsLongCount due to assignment
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (7) if (venPressureReadingsShortCount >= (1000 / 50) * 1) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set artPressureReadingsLongCount due to assignment
      Cannot set artPressureReadingsShortCount due to assignment
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.venPressureReadingsShortCount:<<MAX>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (7) if (venPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set artPressureReadingsLongCount due to assignment
      Cannot set artPressureReadingsShortCount due to assignment
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.venPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:16 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (7) if (venPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (8) (venPressureReadingsShortIdx >= (1000 / 50) * 1 - 1) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( PresOccl.<<GLOBAL>>.venPressureReadingsShortIdx ) in branch 8
      Cannot set artPressureReadingsLongCount due to assignment
      Cannot set artPressureReadingsShortCount due to assignment
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.venPressureReadingsShortIdx:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.venPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:17 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (7) if (venPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (9) (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #9, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set artPressureReadingsShortCount due to assignment
      Cannot set artPressureReadingsLongCount due to assignment
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.venPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:filterInlinePressureReadings
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if (artPressureReadingsLongCount >= (1000 / 50) * 10) ==> FALSE
      (4) if (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (7) if (venPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      (9) (artPressureReadingsShortCount >= (1000 / 50) * 1) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #9, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set artPressureReadingsShortCount due to assignment
      Cannot set artPressureReadingsLongCount due to assignment
TEST.END_NOTES:
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsLongCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.artPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.<<GLOBAL>>.venPressureReadingsShortCount:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.artPres:<<MIN>>
TEST.VALUE:PresOccl.filterInlinePressureReadings.venPres:<<MIN>>
TEST.END

-- Subprogram: getFilteredArterialPressure

-- Test Case: getFilteredArterialPressure.001
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getFilteredArterialPressure
TEST.NEW
TEST.NAME:getFilteredArterialPressure.001
TEST.END

-- Subprogram: getLongFilteredArterialPressure

-- Test Case: getLongFilteredArterialPressure.001
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getLongFilteredArterialPressure
TEST.NEW
TEST.NAME:getLongFilteredArterialPressure.001
TEST.END

-- Subprogram: getMeasuredArterialPressure

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredArterialPressure
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 == arterialPressure.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:PresOccl.<<GLOBAL>>.arterialPressure.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredArterialPressure
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 == arterialPressure.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:PresOccl.<<GLOBAL>>.arterialPressure.override:<<MIN>>
TEST.END

-- Test Case: getMeasuredArterialPressure_NominalPath
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredArterialPressure
TEST.NEW
TEST.NAME:getMeasuredArterialPressure_NominalPath
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.ovData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.override:0
TEST.EXPECTED:PresOccl.getMeasuredArterialPressure.return:200.0
TEST.END

-- Test Case: getMeasuredArterialPressure_Override
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredArterialPressure
TEST.NEW
TEST.NAME:getMeasuredArterialPressure_Override
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.ovData:300.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.override:0xCCC33C33
TEST.EXPECTED:PresOccl.getMeasuredArterialPressure.return:300.0
TEST.END

-- Subprogram: getMeasuredBloodPumpOcclusion

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredBloodPumpOcclusion
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 == bloodPumpOcclusion.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:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredBloodPumpOcclusion
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 == bloodPumpOcclusion.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:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:<<MIN>>
TEST.END

-- Test Case: getMeasuredBloodPumpOcclusion_NominalPath
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredBloodPumpOcclusion
TEST.NEW
TEST.NAME:getMeasuredBloodPumpOcclusion_NominalPath
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:300
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0x0
TEST.EXPECTED:PresOccl.getMeasuredBloodPumpOcclusion.return:200
TEST.END

-- Test Case: getMeasuredBloodPumpOcclusion_Override
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredBloodPumpOcclusion
TEST.NEW
TEST.NAME:getMeasuredBloodPumpOcclusion_Override
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:300
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0xCCC33C33
TEST.EXPECTED:PresOccl.getMeasuredBloodPumpOcclusion.return:300
TEST.END

-- Subprogram: getMeasuredVenousPressure

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredVenousPressure
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 == venousPressure.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:PresOccl.<<GLOBAL>>.venousPressure.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredVenousPressure
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 == venousPressure.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:PresOccl.<<GLOBAL>>.venousPressure.override:<<MIN>>
TEST.END

-- Test Case: getMeasuredVenousPressure_NominalPath
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredVenousPressure
TEST.NEW
TEST.NAME:getMeasuredVenousPressure_NominalPath
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovData:300.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.override:0
TEST.EXPECTED:PresOccl.getMeasuredVenousPressure.return:200.0
TEST.END

-- Test Case: getMeasuredVenousPressure_Override
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:getMeasuredVenousPressure
TEST.NEW
TEST.NAME:getMeasuredVenousPressure_Override
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovData:300.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.override:0xCCC33C33
TEST.EXPECTED:PresOccl.getMeasuredVenousPressure.return:300.0
TEST.END

-- Subprogram: handlePresOcclContReadState

-- Test Case: handlePresOcclContReadState_NominalPath
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:handlePresOcclContReadState
TEST.NEW
TEST.NAME:handlePresOcclContReadState_NominalPath
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 549 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:1
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 550 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:1
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 554 TEST.VALUE:uut_prototype_stubs.getFPGADialInPumpOcclusion.return:300
    >>>     >>> Could not find function getFPGADialInPumpOcclusion
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 555 TEST.VALUE:uut_prototype_stubs.getFPGADialOutPumpOcclusion.return:400
    >>>     >>> Could not find function getFPGADialOutPumpOcclusion
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 560 TEST.EXPECTED:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:300
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 561 TEST.EXPECTED:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:400
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 290 TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusionPressureThresholdmmHG:500.0
    >>>     >>> Unknown parameter/object name bloodPumpOcclusionPressureThresholdmmHG
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 291 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusionPressureThresholdmmHG:500.0
    >>>     >>> Unknown parameter/object name dialInPumpOcclusionPressureThresholdmmHG
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 292 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusionPressureThresholdmmHG:500.0
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusionPressureThresholdmmHG
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 304 TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusionPressureThresholdmmHG:500.0
    >>>     >>> Unknown parameter/object name bloodPumpOcclusionPressureThresholdmmHG
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 305 TEST.EXPECTED:PresOccl.<<GLOBAL>>.dialInPumpOcclusionPressureThresholdmmHG:500.0
    >>>     >>> Unknown parameter/object name dialInPumpOcclusionPressureThresholdmmHG
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 306 TEST.EXPECTED:PresOccl.<<GLOBAL>>.dialOutPumpOcclusionPressureThresholdmmHG:500.0
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusionPressureThresholdmmHG
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:1.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:1.0
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:1
TEST.VALUE:uut_prototype_stubs.getFPGAArterialPressure.return:0x801000
TEST.VALUE:uut_prototype_stubs.getFPGAVenousPressure.return:9000
TEST.VALUE:uut_prototype_stubs.getFPGABloodPumpOcclusion.return:200
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclState:PRESSURE_CONTINUOUS_READ_STATE
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:97.6562
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:191.401
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.EXPECTED:PresOccl.handlePresOcclContReadState.return:PRESSURE_CONTINUOUS_READ_STATE
TEST.END

-- Subprogram: initPresOccl

-- Test Case: initPresOccl_NominalPath
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:initPresOccl
TEST.NEW
TEST.NAME:initPresOccl_NominalPath
TEST.END

-- Subprogram: isCartridgeLoaded

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isCartridgeLoaded
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 (bpOccl >= (5000)) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isCartridgeLoaded
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 (bpOccl >= (5000)) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Test Case: isCartridgeLoaded_BPOcclTooLow
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isCartridgeLoaded
TEST.NEW
TEST.NAME:isCartridgeLoaded_BPOcclTooLow
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 594 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:5000
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 595 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:5000
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:4999
TEST.EXPECTED:PresOccl.isCartridgeLoaded.return:0
TEST.END

-- Test Case: isCartridgeLoaded_CartridgeLoaded
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isCartridgeLoaded
TEST.NEW
TEST.NAME:isCartridgeLoaded_CartridgeLoaded
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 605 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:5000
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 606 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:5000
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:5000
TEST.EXPECTED:PresOccl.isCartridgeLoaded.return:1
TEST.END

-- Test Case: isCartridgeLoaded_DPiOcclTooLow
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isCartridgeLoaded
TEST.NEW
TEST.NAME:isCartridgeLoaded_DPiOcclTooLow
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 616 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:4999
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 617 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:5000
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:5000
TEST.END

-- Test Case: isCartridgeLoaded_DPoOcclTooLow
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isCartridgeLoaded
TEST.NEW
TEST.NAME:isCartridgeLoaded_DPoOcclTooLow
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 627 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:5000
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 628 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:4999
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:5000
TEST.END

-- Subprogram: isCartridgeUnloaded

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isCartridgeUnloaded
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) (getMeasuredBloodPumpOcclusion() <= (5000)) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isCartridgeUnloaded
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) (getMeasuredBloodPumpOcclusion() <= (5000)) ==> 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:PresOccl.getMeasuredBloodPumpOcclusion
TEST.VALUE:PresOccl.getMeasuredBloodPumpOcclusion.return:<<MAX>>
TEST.END

-- Subprogram: isSalineBagEmpty

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isSalineBagEmpty
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 (getMeasuredArterialPressure() < -(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:PresOccl.getMeasuredArterialPressure
TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isSalineBagEmpty
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 (getMeasuredArterialPressure() < -(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:PresOccl.getMeasuredArterialPressure
TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isSalineBagEmpty
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 (getMeasuredArterialPressure() < -(300.0)) ==> TRUE
      (2) if (++emptySalineBagCtr >= EMPTY_SALINE_BAG_PERSISTENCE) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.STUB:PresOccl.getMeasuredArterialPressure
TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isSalineBagEmpty
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 (getMeasuredArterialPressure() < -(300.0)) ==> TRUE
      (2) if (++emptySalineBagCtr >= EMPTY_SALINE_BAG_PERSISTENCE) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.STUB:PresOccl.getMeasuredArterialPressure
TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:<<MIN>>
TEST.END

-- Test Case: isSalineBagEmpty.001
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:isSalineBagEmpty
TEST.NEW
TEST.NAME:isSalineBagEmpty.001
TEST.STUB:PresOccl.getMeasuredArterialPressure
TEST.VALUE:PresOccl.<<GLOBAL>>.emptySalineBagCtr:1000
TEST.VALUE:PresOccl.getMeasuredArterialPressure.return:-400.0
TEST.END

-- Subprogram: publishPresOcclData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:publishPresOcclData
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 (++presOcclDataPublicationTimerCounter >= getU32OverrideValue(&presOcclDataPublishInterval)) ==> 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:PresOccl
TEST.SUBPROGRAM:publishPresOcclData
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 (++presOcclDataPublicationTimerCounter >= getU32OverrideValue(&presOcclDataPublishInterval)) ==> 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

-- Test Case: publishPresOcclData_Interval
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:publishPresOcclData
TEST.NEW
TEST.NAME:publishPresOcclData_Interval
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 644 TEST.VALUE:PresOccl.<<GLOBAL>>.dialInPumpOcclusion.data:300
    >>>     >>> Unknown parameter/object name dialInPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 645 TEST.VALUE:PresOccl.<<GLOBAL>>.dialOutPumpOcclusion.data:400
    >>>     >>> Unknown parameter/object name dialOutPumpOcclusion
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 646 TEST.VALUE:uut_prototype_stubs.broadcastPresOcclData.return:1
    >>>     >>> Could not find function broadcastPresOcclData
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublicationTimerCounter:19
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:100.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:150.0
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublicationTimerCounter:0
TEST.END

-- Test Case: publishPresOcclData_NotInterval
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:publishPresOcclData
TEST.NEW
TEST.NAME:publishPresOcclData_NotInterval
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublicationTimerCounter:18
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.END

-- Subprogram: setOcclusionInstallLevel

-- Test Case: setOcclusionInstallLevel.001
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:setOcclusionInstallLevel
TEST.NEW
TEST.NAME:setOcclusionInstallLevel.001
TEST.END

-- Subprogram: testResetArterialPressureOffsetOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetArterialPressureOffsetOverride
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:PresOccl
TEST.SUBPROGRAM:testResetArterialPressureOffsetOverride
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: testResetArterialPressureOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetArterialPressureOverride
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:PresOccl
TEST.SUBPROGRAM:testResetArterialPressureOverride
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

-- Test Case: testResetArterialPressureOverride_LoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetArterialPressureOverride
TEST.NEW
TEST.NAME:testResetArterialPressureOverride_LoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:100.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.ovInitData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.ovData:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:100.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.ovData:0.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.override:0
TEST.EXPECTED:PresOccl.testResetArterialPressureOverride.return:1
TEST.END

-- Test Case: testResetArterialPressureOverride_NotLoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetArterialPressureOverride
TEST.NEW
TEST.NAME:testResetArterialPressureOverride_NotLoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:100.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.ovInitData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.ovData:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:100.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.ovData:200.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.override:0xCCC33C33
TEST.EXPECTED:PresOccl.testResetArterialPressureOverride.return:0
TEST.END

-- Subprogram: testResetBloodPumpOcclusionOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetBloodPumpOcclusionOverride
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:PresOccl
TEST.SUBPROGRAM:testResetBloodPumpOcclusionOverride
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

-- Test Case: testResetBloodPumpOcclusionOverride_LoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetBloodPumpOcclusionOverride
TEST.NEW
TEST.NAME:testResetBloodPumpOcclusionOverride_LoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovInitData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:300
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovInitData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0
TEST.EXPECTED:PresOccl.testResetBloodPumpOcclusionOverride.return:1
TEST.END

-- Test Case: testResetBloodPumpOcclusionOverride_NotLoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetBloodPumpOcclusionOverride
TEST.NEW
TEST.NAME:testResetBloodPumpOcclusionOverride_NotLoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovInitData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:300
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovInitData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:300
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0xCCC33C33
TEST.EXPECTED:PresOccl.testResetBloodPumpOcclusionOverride.return:0
TEST.END

-- Subprogram: testResetPresOcclDataPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetPresOcclDataPublishIntervalOverride
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:PresOccl
TEST.SUBPROGRAM:testResetPresOcclDataPublishIntervalOverride
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

-- Test Case: testResetPresOcclDataPublishIntervalOverride_LoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetPresOcclDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetPresOcclDataPublishIntervalOverride_LoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovInitData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovData:10
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovInitData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.override:0
TEST.EXPECTED:PresOccl.testResetPresOcclDataPublishIntervalOverride.return:1
TEST.END

-- Test Case: testResetPresOcclDataPublishIntervalOverride_NotLoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetPresOcclDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetPresOcclDataPublishIntervalOverride_NotLoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovInitData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovData:10
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovInitData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovData:10
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.override:0xCCC33C33
TEST.EXPECTED:PresOccl.testResetPresOcclDataPublishIntervalOverride.return:0
TEST.END

-- Subprogram: testResetVenousPressureOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetVenousPressureOverride
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:PresOccl
TEST.SUBPROGRAM:testResetVenousPressureOverride
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

-- Test Case: testResetVenousPressureOverride_LoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetVenousPressureOverride
TEST.NEW
TEST.NAME:testResetVenousPressureOverride_LoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovInitData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovData:300.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.ovInitData:0.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.ovData:0.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.override:0
TEST.EXPECTED:PresOccl.testResetVenousPressureOverride.return:1
TEST.END

-- Test Case: testResetVenousPressureOverride_NotLoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testResetVenousPressureOverride
TEST.NEW
TEST.NAME:testResetVenousPressureOverride_NotLoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovInitData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovData:300.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.ovInitData:0.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.ovData:300.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.override:0xCCC33C33
TEST.EXPECTED:PresOccl.testResetVenousPressureOverride.return:0
TEST.END

-- Subprogram: testSetArterialPressureOffsetOverride

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

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

-- Subprogram: testSetArterialPressureOverride

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

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

-- Test Case: testSetArterialPressureOverride_LoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testSetArterialPressureOverride
TEST.NEW
TEST.NAME:testSetArterialPressureOverride_LoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.ovData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.override:0
TEST.VALUE:PresOccl.testSetArterialPressureOverride.value:300.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:200.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.ovData:300.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.override:0xCCC33C33
TEST.EXPECTED:PresOccl.testSetArterialPressureOverride.return:1
TEST.END

-- Test Case: testSetArterialPressureOverride_NotLoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testSetArterialPressureOverride
TEST.NEW
TEST.NAME:testSetArterialPressureOverride_NotLoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.ovData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.arterialPressure.override:0
TEST.VALUE:PresOccl.testSetArterialPressureOverride.value:300.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.data:200.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.ovData:0.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.arterialPressure.override:0x0
TEST.EXPECTED:PresOccl.testSetArterialPressureOverride.return:0
TEST.END

-- Subprogram: testSetBloodPumpOcclusionOverride

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

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

-- Test Case: testSetBloodPumpOcclusionOverride_LoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testSetBloodPumpOcclusionOverride
TEST.NEW
TEST.NAME:testSetBloodPumpOcclusionOverride_LoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovInitData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0
TEST.VALUE:PresOccl.testSetBloodPumpOcclusionOverride.value:300
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovInitData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:300
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0xCCC33C33
TEST.EXPECTED:PresOccl.testSetBloodPumpOcclusionOverride.return:1
TEST.END

-- Test Case: testSetBloodPumpOcclusionOverride_NotLoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testSetBloodPumpOcclusionOverride
TEST.NEW
TEST.NAME:testSetBloodPumpOcclusionOverride_NotLoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovInitData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0
TEST.VALUE:PresOccl.testSetBloodPumpOcclusionOverride.value:300
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.data:200
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovInitData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.ovData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.bloodPumpOcclusion.override:0x0
TEST.EXPECTED:PresOccl.testSetBloodPumpOcclusionOverride.return:0
TEST.END

-- Subprogram: testSetPresOcclDataPublishIntervalOverride

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

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

-- Test Case: testSetPresOcclDataPublishIntervalOverride_LoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testSetPresOcclDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetPresOcclDataPublishIntervalOverride_LoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovInitData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.override:0
TEST.VALUE:PresOccl.testSetPresOcclDataPublishIntervalOverride.value:500
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovInitData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovData:10
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.override:0xCCC33C33
TEST.EXPECTED:PresOccl.testSetPresOcclDataPublishIntervalOverride.return:1
TEST.END

-- Test Case: testSetPresOcclDataPublishIntervalOverride_NotLoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testSetPresOcclDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetPresOcclDataPublishIntervalOverride_NotLoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovInitData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovData:0
TEST.VALUE:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.override:0
TEST.VALUE:PresOccl.testSetPresOcclDataPublishIntervalOverride.value:500
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.data:20
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovInitData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.ovData:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.presOcclDataPublishInterval.override:0x0
TEST.EXPECTED:PresOccl.testSetPresOcclDataPublishIntervalOverride.return:0
TEST.END

-- Subprogram: testSetVenousPressureOverride

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

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

-- Test Case: testSetVenousPressureOverride_LoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testSetVenousPressureOverride
TEST.NEW
TEST.NAME:testSetVenousPressureOverride_LoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovInitData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.override:0
TEST.VALUE:PresOccl.testSetVenousPressureOverride.value:300.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.ovInitData:0.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.ovData:300.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.override:0xCCC33C33
TEST.EXPECTED:PresOccl.testSetVenousPressureOverride.return:1
TEST.END

-- Test Case: testSetVenousPressureOverride_NotLoggedIn
TEST.UNIT:PresOccl
TEST.SUBPROGRAM:testSetVenousPressureOverride
TEST.NEW
TEST.NAME:testSetVenousPressureOverride_NotLoggedIn
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovInitData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.ovData:0.0
TEST.VALUE:PresOccl.<<GLOBAL>>.venousPressure.override:0
TEST.VALUE:PresOccl.testSetVenousPressureOverride.value:300.0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.data:200.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.ovInitData:0.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.ovData:0.0
TEST.EXPECTED:PresOccl.<<GLOBAL>>.venousPressure.override:0x0
TEST.EXPECTED:PresOccl.testSetVenousPressureOverride.return:0
TEST.END