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

-- Subprogram: endAirTrapControl

-- Test Case: endAirTrapControl_AlreadyStopped
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:endAirTrapControl
TEST.NEW
TEST.NAME:endAirTrapControl_AlreadyStopped
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.END

-- Test Case: endAirTrapControl_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:endAirTrapControl
TEST.NEW
TEST.NAME:endAirTrapControl_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.END

-- Subprogram: execAirTrapController

-- Test Case: execAirTrapController_ClosedState
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapController
TEST.NEW
TEST.NAME:execAirTrapController_ClosedState
TEST.STUB:AirTrap.handleAirTrapValveClosedState
TEST.STUB:AirTrap.publishAirTrapData
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:100
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.fillStartTime:0
TEST.VALUE:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000000
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:100
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.fillStartTime:0
TEST.END

-- Test Case: execAirTrapController_InFaultMode
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapController
TEST.NEW
TEST.NAME:execAirTrapController_InFaultMode
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:98
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:100
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:1
TEST.VALUE:AirTrap.<<GLOBAL>>.fillStartTime:1000000
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.END

-- Test Case: execAirTrapController_InitState
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapController
TEST.NEW
TEST.NAME:execAirTrapController_InitState
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_INIT_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:98
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:100
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.END

-- Test Case: execAirTrapController_InvalidState
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapController
TEST.NEW
TEST.NAME:execAirTrapController_InvalidState
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:NUM_OF_AIR_TRAP_STATES
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:98
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:100
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_INIT_STATE
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:89
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4
TEST.END

-- Test Case: execAirTrapController_ManualState
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapController
TEST.NEW
TEST.NAME:execAirTrapController_ManualState
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 122 TEST.VALUE:uut_prototype_stubs.broadcastAirTrapData.return:1
    >>>     >>> Could not find function broadcastAirTrapData
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 127 TEST.EXPECTED:uut_prototype_stubs.broadcastAirTrapData.lowerLevel:AIR_TRAP_LEVEL_FLUID
    >>>     >>> Could not find function broadcastAirTrapData
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 128 TEST.EXPECTED:uut_prototype_stubs.broadcastAirTrapData.upperLevel:AIR_TRAP_LEVEL_AIR
    >>>     >>> Could not find function broadcastAirTrapData
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:99
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:100
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:1
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Test Case: execAirTrapController_OpenState
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapController
TEST.NEW
TEST.NAME:execAirTrapController_OpenState
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:98
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:100
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.fillStartTime:1000000
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.END

-- Subprogram: execAirTrapMonitor

-- Test Case: execAirTrapMonitor.001
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor.001
TEST.MCDC_BASIS_PATH:5 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> 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.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtLower[0]:0
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtUpper[0]:0
TEST.EXPECTED:AirTrap.getAirTrapLevel.sensor:AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.END

-- Test Case: execAirTrapMonitor.002
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor.002
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:1
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR,AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtLower[0]:1
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtUpper[0]:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.ATTRIBUTES:uut_prototype_stubs.getFPGAAirTrapLevels.airAtLower[0]:DISPLAY_STATE=HIDE
TEST.ATTRIBUTES:uut_prototype_stubs.getFPGAAirTrapLevels.airAtUpper[0]:DISPLAY_STATE=HIDE
TEST.END

-- Test Case: execAirTrapMonitor.003
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor.003
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 221 TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapUpperLevelCtr:<<MAX>>
    >>>     >>> Unknown parameter/object name airTrapUpperLevelCtr
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 225 TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapUpperLevelCtr:0
    >>>     >>> Unknown parameter/object name airTrapUpperLevelCtr
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.BASIS_PATH:5 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == lower) ==> FALSE
      (2) if ((1) == upper) ==> FALSE
      (3) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER) && (MODE_TREA) == getCurrentOperationMode()) ==> FALSE
      (5) if (airTrapUpperLevelCtr > (0)) ==> TRUE
      (6) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (8) if (airTrapIllegalLevelSensorsCtr > (0)) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable lower in branch 1
      Cannot set local variable upper in branch 2
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:NUM_OF_AIR_TRAP_LEVELS
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:0
TEST.END

-- Test Case: execAirTrapMonitor.004
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor.004
TEST.BASIS_PATH:6 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == lower) ==> FALSE
      (2) if ((1) == upper) ==> FALSE
      (3) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER) && (MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (4) if (++airTrapUpperLevelCtr >= AIR_TRAP_UPPER_LEVEL_PERSISTENCE) ==> FALSE
      (6) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (8) if (airTrapIllegalLevelSensorsCtr > (0)) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable lower in branch 1
      Cannot set local variable upper in branch 2
      Conflict: Unable to control expression-to-expression comparison in branch 4
      Conflict: Trying to set variable AirTrap.getAirTrapLevel.return 'equal to' and 'not equal to' same value in branches 3/6
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:0
TEST.END

-- Test Case: execAirTrapMonitor.005
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor.005
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 278 TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapUpperLevelCtr:<<MID>>
    >>>     >>> Unknown parameter/object name airTrapUpperLevelCtr
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 283 TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapUpperLevelCtr:0
    >>>     >>> Unknown parameter/object name airTrapUpperLevelCtr
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if ((1) == lower) ==> FALSE
      (2) if ((1) == upper) ==> FALSE
      (3) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER) && (MODE_TREA) == getCurrentOperationMode()) ==> TRUE
      (4) if (++airTrapUpperLevelCtr >= AIR_TRAP_UPPER_LEVEL_PERSISTENCE) ==> FALSE
      (6) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (8) if (airTrapIllegalLevelSensorsCtr > (0)) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable lower in branch 1
      Cannot set local variable upper in branch 2
      Conflict: Unable to control expression-to-expression comparison in branch 4
      Conflict: Trying to set variable AirTrap.getAirTrapLevel.return 'equal to' and 'not equal to' same value in branches 3/6
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_AIR_TRAP_ILLEGAL_LEVELS
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:0
TEST.END

-- Test Case: execAirTrapMonitor.006
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> 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.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:1
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtLower[0]:0
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtUpper[0]:0
TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:0
TEST.EXPECTED:AirTrap.getAirTrapLevel.sensor:AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.END

-- Test Case: execAirTrapMonitor.007
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor.007
TEST.BASIS_PATH:7 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if ((1) == lower) ==> FALSE
      (2) if ((1) == upper) ==> FALSE
      (3) if (((MODE_TREA) == getCurrentOperationMode() && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) && (AIR_TRAP_VALVE_OPEN_STATE) == airTrapControllerState) ==> TRUE
      (4) if (++airTrapUpperLevelCtr >= AIR_TRAP_UPPER_LEVEL_PERSISTENCE) ==> TRUE
      (6) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (8) if (airTrapIllegalLevelSensorsCtr > (0)) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable lower in branch 1
      Cannot set local variable upper in branch 2
      Conflict: Unable to control expression-to-expression comparison in branch 4
      Conflict: Trying to set variable AirTrap.getAirTrapLevel.return 'equal to' and 'not equal to' same value in branches 3/6
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:0
TEST.END

-- Test Case: execAirTrapMonitor.008
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor.008
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:40
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR,AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtLower[0]:1
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtUpper[0]:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:41
TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_AIR_TRAP_ILLEGAL_LEVELS
TEST.ATTRIBUTES:uut_prototype_stubs.getFPGAAirTrapLevels.airAtLower[0]:DISPLAY_STATE=HIDE
TEST.ATTRIBUTES:uut_prototype_stubs.getFPGAAirTrapLevels.airAtUpper[0]:DISPLAY_STATE=HIDE
TEST.END

-- Test Case: execAirTrapMonitor_InvalidReadings_NotPersistent
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor_InvalidReadings_NotPersistent
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:198
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtLower[0]:1
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtUpper[0]:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:0
TEST.ATTRIBUTES:uut_prototype_stubs.getFPGAAirTrapLevels.airAtLower[0]:DISPLAY_STATE=HIDE
TEST.ATTRIBUTES:uut_prototype_stubs.getFPGAAirTrapLevels.airAtUpper[0]:DISPLAY_STATE=HIDE
TEST.END

-- Subprogram: execAirTrapMonitorTreatment

-- Test Case: execAirTrapMonitorTreatment_NoTimeout
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitorTreatment
TEST.NEW
TEST.NAME:execAirTrapMonitorTreatment_NoTimeout
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 451 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:300
    >>>     >>> Could not find function getTreatmentParameterU32
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 454 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterU32.param:ALARM_ID_HD_TREATMENT_STOPPED_BY_USER
    >>>     >>> Could not find function getTreatmentParameterU32
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.fillStartTime:1000000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.fillStartTime:1000000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:6000
TEST.END

-- Test Case: execAirTrapMonitorTreatment_NotFilling
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitorTreatment
TEST.NEW
TEST.NAME:execAirTrapMonitorTreatment_NotFilling
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.END

-- Test Case: execAirTrapMonitorTreatment_Timeout
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitorTreatment
TEST.NEW
TEST.NAME:execAirTrapMonitorTreatment_Timeout
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 477 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:300
    >>>     >>> Could not find function getTreatmentParameterU32
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 481 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterU32.param:ALARM_ID_HD_TREATMENT_STOPPED_BY_USER
    >>>     >>> Could not find function getTreatmentParameterU32
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.fillStartTime:1000000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.fillStartTime:1000000
TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_AIR_TRAP_FILL_DURING_TREATMENT
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:6000
TEST.END

-- Subprogram: execAirTrapTest

-- Test Case: execAirTrapTest.001
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapTest
TEST.NEW
TEST.NAME:execAirTrapTest.001
TEST.VALUE:AirTrap.execAirTrapTest.return:SELF_TEST_STATUS_PASSED
TEST.EXPECTED:AirTrap.execAirTrapTest.return:SELF_TEST_STATUS_PASSED
TEST.END

-- Subprogram: getAirTrapLevel

-- Test Case: getAirTrapLevel_InvalidSensor
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:getAirTrapLevel
TEST.NEW
TEST.NAME:getAirTrapLevel_InvalidSensor
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:NUM_OF_AIR_TRAP_LEVEL_SENSORS
TEST.EXPECTED:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
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:90
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

-- Test Case: getAirTrapLevel_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:getAirTrapLevel
TEST.NEW
TEST.NAME:getAirTrapLevel_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:AIR_TRAP_LEVEL_SENSOR_UPPER
TEST.EXPECTED:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.END

-- Test Case: getAirTrapLevel_Override
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:getAirTrapLevel
TEST.NEW
TEST.NAME:getAirTrapLevel_Override
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0xCCC33C33
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:AIR_TRAP_LEVEL_SENSOR_UPPER
TEST.EXPECTED:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.END

-- Subprogram: handleAirTrapManualControlState

-- Test Case: handleAirTrapManualControlState_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapManualControlState
TEST.NEW
TEST.NAME:handleAirTrapManualControlState_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapManualControlState.return:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.END

-- Test Case: handleAirTrapManualControlState_StartControlRequested
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapManualControlState
TEST.NEW
TEST.NAME:handleAirTrapManualControlState_StartControlRequested
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapManualControlState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.END

-- Subprogram: handleAirTrapValveClosedState

-- Test Case: handleAirTrapValveClosedState.001
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.001
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.VALUE:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.END

-- Test Case: handleAirTrapValveClosedState.002
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.002
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.VALUE:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.END

-- Test Case: handleAirTrapValveClosedState.003
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.003
TEST.BASIS_PATH:1 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (7) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:NUM_OF_AIR_TRAP_LEVELS
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.END

-- Test Case: handleAirTrapValveClosedState.004
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.004
TEST.BASIS_PATH:5 of 9 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (5) if ((AIR_PUMP_STATE_ON) == getAirPumpState()) ==> TRUE
      (6) if (airPumpUpperLevelCtr >= 100 / 50) ==> FALSE
   Test Case Generation Notes:
      Cannot set airPumpUpperLevelCtr due to assignment
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.VALUE:uut_prototype_stubs.getAirPumpState.return:AIR_PUMP_STATE_ON
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.END

-- Test Case: handleAirTrapValveClosedState.005
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.005
TEST.BASIS_PATH:8 of 9
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (3) if ((AIR_PUMP_STATE_OFF) == getAirPumpState()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getAirPumpState.return:AIR_PUMP_STATE_OFF
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.END

-- Test Case: handleAirTrapValveClosedState.006
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.006
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (5) if ((AIR_PUMP_STATE_ON) == getAirPumpState()) ==> TRUE
      (6) if (airPumpUpperLevelCtr >= 100 / 50) ==> FALSE
   Test Case Generation Notes:
      Cannot set airPumpUpperLevelCtr due to assignment
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.<<GLOBAL>>.airPumpUpperLevelCtr:3
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.VALUE:uut_prototype_stubs.getAirPumpState.return:AIR_PUMP_STATE_ON
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airPumpUpperLevelCtr:3
TEST.END

-- Test Case: handleAirTrapValveClosedState.007
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.007
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (7) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.VALUE:AirTrap.getAirTrapLevel.return:NUM_OF_AIR_TRAP_LEVELS,AIR_TRAP_LEVEL_AIR
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.END

-- Test Case: handleAirTrapValveClosedState.008
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.008
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (7) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID,AIR_TRAP_LEVEL_AIR
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.END

-- Test Case: handleAirTrapValveClosedState.009
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.009
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.VALUE:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getAirPumpState.return:AIR_PUMP_STATE_ON
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.END

-- Test Case: handleAirTrapValveClosedState.010
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.010
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.VALUE:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.END

-- Test Case: handleAirTrapValveClosedState.011
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.011
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (5) if ((AIR_PUMP_STATE_ON) == getAirPumpState()) ==> TRUE
      (6) if (airPumpUpperLevelCtr >= 100 / 50) ==> FALSE
   Test Case Generation Notes:
      Cannot set airPumpUpperLevelCtr due to assignment
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.VALUE:AirTrap.getAirTrapLevel.return:(2)AIR_TRAP_LEVEL_AIR,AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getAirPumpState.return:AIR_PUMP_STATE_ON
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airPumpUpperLevelCtr:1
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.END

-- Test Case: handleAirTrapValveClosedState.012
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.012
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (5) if ((AIR_PUMP_STATE_ON) == getAirPumpState()) ==> TRUE
      (6) if (airPumpUpperLevelCtr >= 100 / 50) ==> FALSE
   Test Case Generation Notes:
      Cannot set airPumpUpperLevelCtr due to assignment
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.VALUE:AirTrap.getAirTrapLevel.return:(2)AIR_TRAP_LEVEL_AIR,AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getAirPumpState.return:AIR_PUMP_STATE_ON
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airPumpUpperLevelCtr:1
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.END

-- Test Case: handleAirTrapValveClosedState.013
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.013
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (5) if ((AIR_PUMP_STATE_ON) == getAirPumpState()) ==> TRUE
      (6) if (airPumpUpperLevelCtr >= 100 / 50) ==> FALSE
   Test Case Generation Notes:
      Cannot set airPumpUpperLevelCtr due to assignment
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.<<GLOBAL>>.airPumpUpperLevelCtr:2
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.VALUE:AirTrap.getAirTrapLevel.return:(2)AIR_TRAP_LEVEL_AIR,AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getAirPumpState.return:AIR_PUMP_STATE_ON
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airPumpUpperLevelCtr:3
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.END

-- Test Case: handleAirTrapValveClosedState.014
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.014
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (5) if ((AIR_PUMP_STATE_ON) == getAirPumpState()) ==> TRUE
      (6) if (airPumpUpperLevelCtr >= 100 / 50) ==> FALSE
   Test Case Generation Notes:
      Cannot set airPumpUpperLevelCtr due to assignment
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.VALUE:AirTrap.getAirTrapLevel.return:(2)AIR_TRAP_LEVEL_AIR,AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getAirPumpState.return:AIR_PUMP_STATE_INIT
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airPumpUpperLevelCtr:0
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.END

-- Test Case: handleAirTrapValveClosedState.015
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState.015
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (4) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (5) if ((AIR_PUMP_STATE_ON) == getAirPumpState()) ==> TRUE
      (6) if (airPumpUpperLevelCtr >= 100 / 50) ==> FALSE
   Test Case Generation Notes:
      Cannot set airPumpUpperLevelCtr due to assignment
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER,AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.VALUE:AirTrap.getAirTrapLevel.return:(4)AIR_TRAP_LEVEL_AIR,AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.getAirPumpState.return:AIR_PUMP_STATE_ON
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.getAirTrapLevel.sensor:(2)AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER,AIR_TRAP_LEVEL_SENSOR_UPPER,AIR_TRAP_LEVEL_SENSOR_LOWER
TEST.END

-- Test Case: handleAirTrapValveClosedState_GoToOpen
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState_GoToOpen
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.VALUE:AirTrap.<<GLOBAL>>.fillStartTime:0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000000
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.fillStartTime:1000000
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_OPEN_STATE
TEST.END

-- Test Case: handleAirTrapValveClosedState_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_OPEN_STATE
TEST.END

-- Test Case: handleAirTrapValveClosedState_StopControlRequested
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:handleAirTrapValveClosedState_StopControlRequested
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.END

-- Subprogram: handleAirTrapValveOpenState

-- Test Case: handleAirTrapValveOpenState.001
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveOpenState
TEST.NEW
TEST.NAME:handleAirTrapValveOpenState.001
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == pendingStopAirTrapController) ==> FALSE
      (2) if ((AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.VALUE:AirTrap.handleAirTrapValveOpenState.return:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapValveOpenState.return:AIR_TRAP_VALVE_CLOSED_STATE
TEST.END

-- Test Case: handleAirTrapValveOpenState_GoToClosed
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveOpenState
TEST.NEW
TEST.NAME:handleAirTrapValveOpenState_GoToClosed
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.END

-- Test Case: handleAirTrapValveOpenState_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveOpenState
TEST.NEW
TEST.NAME:handleAirTrapValveOpenState_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapValveOpenState.return:AIR_TRAP_VALVE_OPEN_STATE
TEST.END

-- Test Case: handleAirTrapValveOpenState_StopControlRequested
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveOpenState
TEST.NEW
TEST.NAME:handleAirTrapValveOpenState_StopControlRequested
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.handleAirTrapValveOpenState.return:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.END

-- Subprogram: initAirTrap

-- Test Case: initAirTrap_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:initAirTrap
TEST.NEW
TEST.NAME:initAirTrap_NominalPath
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 453 TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapSelfTestState:NUM_OF_AIR_TRAP_SELF_TEST_STATES
    >>>     >>> Unknown parameter/object name airTrapSelfTestState
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 458 TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapSelfTestState:AIR_TRAP_SELF_TEST_STATE_START
    >>>     >>> Unknown parameter/object name airTrapSelfTestState
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:NUM_OF_AIR_TRAP_STATES
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:1
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_INIT_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:7
TEST.END

-- Subprogram: isAirTrapControlling

-- Test Case: isAirTrapControlling_Controlling
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:isAirTrapControlling
TEST.NEW
TEST.NAME:isAirTrapControlling_Controlling
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.EXPECTED:AirTrap.isAirTrapControlling.return:1
TEST.END

-- Test Case: isAirTrapControlling_NotControlling
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:isAirTrapControlling
TEST.NEW
TEST.NAME:isAirTrapControlling_NotControlling
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.EXPECTED:AirTrap.isAirTrapControlling.return:0
TEST.END

-- Subprogram: publishAirTrapData

-- Test Case: publishAirTrapData.001
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:publishAirTrapData
TEST.NEW
TEST.NAME:publishAirTrapData.001
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++airTrapDataPublicationTimerCounter >= getU32OverrideValue(&airTrapDataPublishInterval)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<<MAX>>
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:1
TEST.END

-- Test Case: publishAirTrapData_NotTimeToPublish
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:publishAirTrapData
TEST.NEW
TEST.NAME:publishAirTrapData_NotTimeToPublish
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:98
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:100
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:0
TEST.END

-- Test Case: publishAirTrapData_TimeToPublish
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:publishAirTrapData
TEST.NEW
TEST.NAME:publishAirTrapData_TimeToPublish
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 505 TEST.VALUE:uut_prototype_stubs.broadcastAirTrapData.return:1
    >>>     >>> Could not find function broadcastAirTrapData
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 507 TEST.EXPECTED:uut_prototype_stubs.broadcastAirTrapData.lowerLevel:AIR_TRAP_LEVEL_FLUID
    >>>     >>> Could not find function broadcastAirTrapData
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 508 TEST.EXPECTED:uut_prototype_stubs.broadcastAirTrapData.upperLevel:AIR_TRAP_LEVEL_AIR
    >>>     >>> Could not find function broadcastAirTrapData
    >>>     >>>    in unit uut_prototype_stubs.
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:99
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:100
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublicationTimerCounter:0
TEST.END

-- Subprogram: resetAirTrap

-- Test Case: resetAirTrap_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:resetAirTrap
TEST.NEW
TEST.NAME:resetAirTrap_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:NUM_OF_AIR_TRAP_STATES
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:1
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_INIT_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:0
TEST.END

-- Subprogram: startAirTrapControl

-- Test Case: startAirTrapControl_AlreadyControlling
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:startAirTrapControl
TEST.NEW
TEST.NAME:startAirTrapControl_AlreadyControlling
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.END

-- Test Case: startAirTrapControl_NotYetControlling
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:startAirTrapControl
TEST.NEW
TEST.NAME:startAirTrapControl_NotYetControlling
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_MANUAL_CONTROL_STATE
TEST.VALUE:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:1
TEST.END

-- Subprogram: testResetAirTrapDataPublishIntervalOverride

-- Test Case: testResetAirTrapDataPublishIntervalOverride_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetAirTrapDataPublishIntervalOverride_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:20
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovInitData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovData:10
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:20
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovInitData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.override:0x0
TEST.EXPECTED:AirTrap.testResetAirTrapDataPublishIntervalOverride.return:1
TEST.END

-- Test Case: testResetAirTrapDataPublishIntervalOverride_NotLoggedIn
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetAirTrapDataPublishIntervalOverride_NotLoggedIn
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:20
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovData:10
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:20
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovData:10
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.override:0xCCC33C33
TEST.EXPECTED:AirTrap.testResetAirTrapDataPublishIntervalOverride.return:0
TEST.END

-- Subprogram: testResetAirTrapLevelOverride

-- Test Case: testResetAirTrapLevelOverride_InvalidSensor
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapLevelOverride
TEST.NEW
TEST.NAME:testResetAirTrapLevelOverride_InvalidSensor
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0xCCC33C33
TEST.VALUE:AirTrap.testResetAirTrapLevelOverride.sensor:NUM_OF_AIR_TRAP_LEVEL_SENSORS
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0xCCC33C33
TEST.EXPECTED:AirTrap.testResetAirTrapLevelOverride.return:0
TEST.END

-- Test Case: testResetAirTrapLevelOverride_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapLevelOverride
TEST.NEW
TEST.NAME:testResetAirTrapLevelOverride_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0xCCC33C33
TEST.VALUE:AirTrap.testResetAirTrapLevelOverride.sensor:AIR_TRAP_LEVEL_SENSOR_UPPER
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0x0
TEST.EXPECTED:AirTrap.testResetAirTrapLevelOverride.return:1
TEST.END

-- Test Case: testResetAirTrapLevelOverride_NotLoggedIn
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapLevelOverride
TEST.NEW
TEST.NAME:testResetAirTrapLevelOverride_NotLoggedIn
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0xCCC33C33
TEST.VALUE:AirTrap.testResetAirTrapLevelOverride.sensor:AIR_TRAP_LEVEL_SENSOR_UPPER
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0xCCC33C33
TEST.EXPECTED:AirTrap.testResetAirTrapLevelOverride.return:0
TEST.END

-- Subprogram: testSetAirTrapDataPublishIntervalOverride

-- Test Case: testSetAirTrapDataPublishIntervalOverride_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetAirTrapDataPublishIntervalOverride_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:20
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.override:0
TEST.VALUE:AirTrap.testSetAirTrapDataPublishIntervalOverride.value:500
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:20
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovData:10
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.override:0xCCC33C33
TEST.EXPECTED:AirTrap.testSetAirTrapDataPublishIntervalOverride.return:1
TEST.END

-- Test Case: testSetAirTrapDataPublishIntervalOverride_NotLoggedIn
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapDataPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetAirTrapDataPublishIntervalOverride_NotLoggedIn
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:20
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.override:0
TEST.VALUE:AirTrap.testSetAirTrapDataPublishIntervalOverride.value:500
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.data:20
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapDataPublishInterval.override:0x0
TEST.EXPECTED:AirTrap.testSetAirTrapDataPublishIntervalOverride.return:0
TEST.END

-- Subprogram: testSetAirTrapLevelOverride

-- Test Case: testSetAirTrapLevelOverride_InvalidLevel
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapLevelOverride
TEST.NEW
TEST.NAME:testSetAirTrapLevelOverride_InvalidLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.sensor:AIR_TRAP_LEVEL_SENSOR_UPPER
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.level:NUM_OF_AIR_TRAP_LEVELS
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0
TEST.EXPECTED:AirTrap.testSetAirTrapLevelOverride.return:0
TEST.END

-- Test Case: testSetAirTrapLevelOverride_InvalidSensor
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapLevelOverride
TEST.NEW
TEST.NAME:testSetAirTrapLevelOverride_InvalidSensor
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.sensor:NUM_OF_AIR_TRAP_LEVEL_SENSORS
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.level:AIR_TRAP_LEVEL_AIR
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0
TEST.EXPECTED:AirTrap.testSetAirTrapLevelOverride.return:0
TEST.END

-- Test Case: testSetAirTrapLevelOverride_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapLevelOverride
TEST.NEW
TEST.NAME:testSetAirTrapLevelOverride_NominalPath
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.sensor:AIR_TRAP_LEVEL_SENSOR_UPPER
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.level:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0xCCC33C33
TEST.EXPECTED:AirTrap.testSetAirTrapLevelOverride.return:1
TEST.END

-- Test Case: testSetAirTrapLevelOverride_NotLoggedIn
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapLevelOverride
TEST.NEW
TEST.NAME:testSetAirTrapLevelOverride_NotLoggedIn
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.sensor:AIR_TRAP_LEVEL_SENSOR_UPPER
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.level:AIR_TRAP_LEVEL_FLUID
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].data:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_LOWER].override:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].ovData:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].override:0
TEST.EXPECTED:AirTrap.testSetAirTrapLevelOverride.return:0
TEST.END