-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:endAirTrapControl
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) == isAirTrapControlling()) ==> 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:AirTrap.isAirTrapControlling
TEST.VALUE:AirTrap.isAirTrapControlling.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:endAirTrapControl
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) == isAirTrapControlling()) ==> 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:AirTrap.isAirTrapControlling
TEST.VALUE:AirTrap.isAirTrapControlling.return:<<MIN>>
TEST.END

-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapController
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 ((MODE_FAUL) == getCurrentOperationMode()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapController
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 ((MODE_FAUL) == getCurrentOperationMode()) ==> 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.getCurrentOperationMode.return:MODE_SERV
TEST.END

-- Test Case: execAirTrapController_ClosedState
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapController
TEST.NEW
TEST.NAME:execAirTrapController_ClosedState
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_CLOSED_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:0
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapLevels[AIR_TRAP_LEVEL_SENSOR_UPPER].data:0
TEST.VALUE:AirTrap.<<GLOBAL>>.fillStartTime:0
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_OPEN_STATE
TEST.EXPECTED:AirTrap.<<GLOBAL>>.fillStartTime:1000000
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_OPEN
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.END

-- Subprogram: execAirTrapMonitor

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) ((1) == lower) ==> 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 lower in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) ((1) == lower) ==> 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 lower in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) ((1) == upper) ==> 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 upper in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:4 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) ((1) == upper) ==> 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 upper in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (3) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> 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:
      Conflict: Multiple equality operators with different values (AirTrap.getAirTrapLevel.return) in branch 3
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_b_TF
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:7 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (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 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.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.END

-- Test Case: COND_3_ROW_3_PAIR_a_FT
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_3_ROW_3_PAIR_a_FT
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.return:AIR_TRAP_LEVEL_FLUID
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (3) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (4) if (++airTrapIllegalLevelSensorsCtr >= AIR_TRAP_ILLEGAL_LEVELS_PERSISTENCE) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 4
      Conflict: Multiple equality operators with different values (AirTrap.getAirTrapLevel.return) in branch 3
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (3) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> TRUE
      (4) if (++airTrapIllegalLevelSensorsCtr >= AIR_TRAP_ILLEGAL_LEVELS_PERSISTENCE) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 4
      Conflict: Multiple equality operators with different values (AirTrap.getAirTrapLevel.return) in branch 3
TEST.END_NOTES:
TEST.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:9 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (3) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (5) if (airTrapIllegalLevelSensorsCtr > (0)) ==> 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.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:<<MAX>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:NUM_OF_AIR_TRAP_LEVELS
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:8 of 11
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (3) if ((AIR_TRAP_LEVEL_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER) && (AIR_TRAP_LEVEL_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> FALSE
      (5) if (airTrapIllegalLevelSensorsCtr > (0)) ==> 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.STUB:AirTrap.getAirTrapLevel
TEST.VALUE:AirTrap.<<GLOBAL>>.airTrapIllegalLevelSensorsCtr:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:NUM_OF_AIR_TRAP_LEVELS
TEST.END

-- Test Case: execAirTrapMonitor_CC_Block2_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor_CC_Block2_F
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_CC_Block2_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor_CC_Block2_T
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:200
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_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:197
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_Persistent
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor_InvalidReadings_Persistent
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:199
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:198
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_NominalPath
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor_NominalPath
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:0
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtLower[0]:0
TEST.VALUE:uut_prototype_stubs.getFPGAAirTrapLevels.airAtUpper[0]:1
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>>.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

-- Test Case: execAirTrapMonitor_Ok
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitor
TEST.NEW
TEST.NAME:execAirTrapMonitor_Ok
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: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: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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitorTreatment
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 ((AIR_TRAP_VALVE_OPEN_STATE) == airTrapControllerState) ==> 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:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitorTreatment
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 ((AIR_TRAP_VALVE_OPEN_STATE) == airTrapControllerState) ==> 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:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_INIT_STATE
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitorTreatment
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((AIR_TRAP_VALVE_OPEN_STATE) == airTrapControllerState) ==> TRUE
      (2) if ((1) == didTimeout(fillStartTime, fillTimeoutMS)) ==> 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:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitorTreatment
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((AIR_TRAP_VALVE_OPEN_STATE) == airTrapControllerState) ==> TRUE
      (2) if ((1) == didTimeout(fillStartTime, fillTimeoutMS)) ==> 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:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.VALUE:uut_prototype_stubs.getTreatmentParameterU32.return:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: execAirTrapMonitorTreatment_NoTimeout
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapMonitorTreatment
TEST.NEW
TEST.NAME:execAirTrapMonitorTreatment_NoTimeout
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.getTreatmentParameterU32.return:300
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_BLOOD_FLOW
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:40000
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.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.getTreatmentParameterU32.return:300
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:AirTrap.<<GLOBAL>>.airTrapControllerState:AIR_TRAP_VALVE_OPEN_STATE
TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_AIR_TRAP_FILL_DURING_TREATMENT
TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterU32.param:TREATMENT_PARAM_BLOOD_FLOW
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:1000000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:40000
TEST.END

-- Subprogram: execAirTrapTest

-- Test Case: execAirTrapTest.001
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:execAirTrapTest
TEST.NEW
TEST.NAME:execAirTrapTest.001
TEST.END

-- Subprogram: getAirTrapLevel

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:getAirTrapLevel
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 (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS)) ==> 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:AirTrap.getAirTrapLevel.sensor:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:getAirTrapLevel
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 (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS)) ==> 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:AirTrap.getAirTrapLevel.sensor:<<MAX>>
TEST.END

-- 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.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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapManualControlState
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) == pendingStartAirTrapController) ==> 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:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapManualControlState
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) == pendingStartAirTrapController) ==> 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:AirTrap.<<GLOBAL>>.pendingStartAirTrapController:<<MIN>>
TEST.END

-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
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 ((1) == pendingStopAirTrapController) ==> 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:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
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 ((1) == pendingStopAirTrapController) ==> 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:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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_AIR) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_LOWER)) ==> 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:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveClosedState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
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:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
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>>.fillStartTime:1000000
TEST.EXPECTED:AirTrap.handleAirTrapValveClosedState.return:AIR_TRAP_VALVE_OPEN_STATE
TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_OPEN
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.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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveOpenState
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 ((1) == pendingStopAirTrapController) ==> 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:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveOpenState
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 ((1) == pendingStopAirTrapController) ==> 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:AirTrap.<<GLOBAL>>.pendingStopAirTrapController:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveOpenState
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
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:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:handleAirTrapValveOpenState
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
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_FLUID) == getAirTrapLevel(AIR_TRAP_LEVEL_SENSOR_UPPER)) ==> 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:<<MIN>>
TEST.VALUE:AirTrap.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR
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: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: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:initAirTrap
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (i < (NUM_OF_AIR_TRAP_LEVEL_SENSORS)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:initAirTrap
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (i < (NUM_OF_AIR_TRAP_LEVEL_SENSORS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- 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:0
TEST.END

-- Subprogram: isAirTrapControlling

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:isAirTrapControlling
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 (airTrapControllerState >= (AIR_TRAP_VALVE_CLOSED_STATE)) ==> 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:AirTrap.<<GLOBAL>>.airTrapControllerState:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:isAirTrapControlling
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 (airTrapControllerState >= (AIR_TRAP_VALVE_CLOSED_STATE)) ==> 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:AirTrap.<<GLOBAL>>.airTrapControllerState:<<MIN>>
TEST.END

-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:publishAirTrapData
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 (++airTrapDataPublicationTimerCounter >= getU32OverrideValue(&airTrapDataPublishInterval)) ==> 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:AirTrap
TEST.SUBPROGRAM:publishAirTrapData
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 (++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.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.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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:startAirTrapControl
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 ((0) == isAirTrapControlling()) ==> 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:AirTrap.isAirTrapControlling
TEST.VALUE:AirTrap.isAirTrapControlling.return:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:startAirTrapControl
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 ((0) == isAirTrapControlling()) ==> 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:AirTrap.isAirTrapControlling
TEST.VALUE:AirTrap.isAirTrapControlling.return:1
TEST.END

-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapDataPublishIntervalOverride
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:AirTrap
TEST.SUBPROGRAM:testResetAirTrapDataPublishIntervalOverride
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: 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapLevelOverride
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 (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS)) ==> 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:AirTrap.testResetAirTrapLevelOverride.sensor:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapLevelOverride
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 (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS)) ==> 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:AirTrap.testResetAirTrapLevelOverride.sensor:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapLevelOverride
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AirTrap.testResetAirTrapLevelOverride.sensor:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testResetAirTrapLevelOverride
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AirTrap.testResetAirTrapLevelOverride.sensor:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- 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: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapDataPublishIntervalOverride
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:AirTrap.testSetAirTrapDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

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

-- 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: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapLevelOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS) && level < (NUM_OF_AIR_TRAP_LEVELS)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.sensor:<<MIN>>
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.level:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapLevelOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS) && level < (NUM_OF_AIR_TRAP_LEVELS)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.sensor:<<MIN>>
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.level:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapLevelOverride
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS) && level < (NUM_OF_AIR_TRAP_LEVELS)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.sensor:<<MAX>>
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.level:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapLevelOverride
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:5 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS) && level < (NUM_OF_AIR_TRAP_LEVELS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.sensor:<<MIN>>
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.level:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:AirTrap
TEST.SUBPROGRAM:testSetAirTrapLevelOverride
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 5
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (sensor < (NUM_OF_AIR_TRAP_LEVEL_SENSORS) && level < (NUM_OF_AIR_TRAP_LEVELS)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.sensor:<<MIN>>
TEST.VALUE:AirTrap.testSetAirTrapLevelOverride.level:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- 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