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

-- Subprogram: convertTogglePeriod2RPM

-- Test Case: convertTogglePeriod2RPM.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:convertTogglePeriod2RPM
TEST.NEW
TEST.NAME:convertTogglePeriod2RPM.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (fan < (NUM_OF_FANS_NAMES)) ==> 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: convertTogglePeriod2RPM.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:convertTogglePeriod2RPM
TEST.NEW
TEST.NAME:convertTogglePeriod2RPM.002
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if ((0xffff) == togglePeriods[fan]) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set fan due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFPGAInletFan1TogglePeriod.return:65535
TEST.END

-- Subprogram: execFans

-- Test Case: execFans.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:execFans
TEST.NEW
TEST.NAME:execFans.001
TEST.END

-- Test Case: execFans.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:execFans
TEST.NEW
TEST.NAME:execFans.002
TEST.VALUE:Fans.<<GLOBAL>>.fansExecState:FANS_EXEC_STATE_RUN_STATE
TEST.END

-- Test Case: execFans.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:execFans
TEST.NEW
TEST.NAME:execFans.003
TEST.VALUE:Fans.<<GLOBAL>>.fansExecState:NUM_OF_FANS_EXEC_STATES
TEST.END

-- Subprogram: execFansSelfTest

-- Test Case: execFansSelfTest.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:execFansSelfTest
TEST.NEW
TEST.NAME:execFansSelfTest.001
TEST.END

-- Subprogram: getMaximumTemperature

-- Test Case: getMaximumTemperature.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:getMaximumTemperature.001
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:-10.0
TEST.END

-- Test Case: getMaximumTemperature.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:getMaximumTemperature.002
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:0.0,10.0
TEST.END

-- Test Case: getMaximumTemperature.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:getMaximumTemperature.003
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:(2)0.0,10.0
TEST.END

-- Test Case: getMaximumTemperature.004
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:getMaximumTemperature.004
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:(3)0.0,10.0
TEST.END

-- Test Case: getMaximumTemperature.005
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:getMaximumTemperature.005
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (temperature > maxTemperature) ==> 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.getTemperatureValue.return:<<MAX>>
TEST.END

-- Subprogram: getMeasuredFanRPM

-- Test Case: getMeasuredFanRPM.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMeasuredFanRPM
TEST.NEW
TEST.NAME:getMeasuredFanRPM.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (fan < (NUM_OF_FANS_NAMES)) ==> 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:Fans.getMeasuredFanRPM.fan:<<MIN>>
TEST.END

-- Test Case: getMeasuredFanRPM.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMeasuredFanRPM
TEST.NEW
TEST.NAME:getMeasuredFanRPM.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (fan < (NUM_OF_FANS_NAMES)) ==> 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:Fans.getMeasuredFanRPM.fan:<<MAX>>
TEST.END

-- Test Case: getMeasuredFanRPM.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMeasuredFanRPM
TEST.NEW
TEST.NAME:getMeasuredFanRPM.003
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if (0xccc33c33U == (fansStatus.rpm[fan]).override) ==> 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:Fans.<<GLOBAL>>.fansStatus.rpm[FAN_INLET_1].override:3435346995
TEST.VALUE:Fans.getMeasuredFanRPM.fan:FAN_INLET_1
TEST.END

-- Subprogram: getPublishFansDataInterval

-- Test Case: getPublishFansDataInterval.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:getPublishFansDataInterval
TEST.NEW
TEST.NAME:getPublishFansDataInterval.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == fansPublishInterval.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansPublishInterval.override:3435346995
TEST.END

-- Test Case: getPublishFansDataInterval.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:getPublishFansDataInterval
TEST.NEW
TEST.NAME:getPublishFansDataInterval.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == fansPublishInterval.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansPublishInterval.override:<<MIN>>
TEST.END

-- Subprogram: handleExecStateRun

-- Test Case: handleExecStateRun.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.001
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:40.0
TEST.END

-- Test Case: handleExecStateRun.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.002
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:20.0
TEST.END

-- Test Case: handleExecStateRun.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.003
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:19.0
TEST.END

-- Test Case: handleExecStateRun.004
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.004
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:100.0
TEST.END

-- Test Case: handleExecStateRun.005
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.005
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:1.0
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:100.0
TEST.END

-- Test Case: handleExecStateRun.006
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.006
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:0.950001
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:100.0
TEST.END

-- Test Case: handleExecStateRun.007
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.007
TEST.MCDC_BASIS_PATH:2 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++fansControlCounter > 1000 / 50) ==> 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

-- Subprogram: handleExecStateWaitForPOST

-- Test Case: handleExecStateWaitForPOST.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateWaitForPOST
TEST.NEW
TEST.NAME:handleExecStateWaitForPOST.001
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.isPOSTComplete:1
TEST.END

-- Test Case: handleExecStateWaitForPOST.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateWaitForPOST
TEST.NEW
TEST.NAME:handleExecStateWaitForPOST.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isPOSTComplete) ==> 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:Fans.<<GLOBAL>>.isPOSTComplete:<<MIN>>
TEST.END

-- Subprogram: initFans

-- Test Case: initFans.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:initFans
TEST.NEW
TEST.NAME:initFans.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (fan < (NUM_OF_FANS_NAMES)) ==> 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

-- Subprogram: monitorFans

-- Test Case: monitorFans.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1213 TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
    >>>     >>> Unknown parameter/object name fansMonitorCounter
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.END

-- Test Case: monitorFans.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.002
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1221 TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
    >>>     >>> Unknown parameter/object name fansMonitorCounter
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:1
TEST.END

-- Test Case: monitorFans.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.003
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1230 TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
    >>>     >>> Unknown parameter/object name fansMonitorCounter
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: monitorFans.004
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.004
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1240 TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
    >>>     >>> Unknown parameter/object name fansMonitorCounter
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:1.0
TEST.END

-- Test Case: monitorFans.005
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.005
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1250 TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
    >>>     >>> Unknown parameter/object name fansMonitorCounter
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.STUB:Fans.getMeasuredFanRPM
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:1.0
TEST.VALUE:Fans.getMeasuredFanRPM.return:10000.0
TEST.END

-- Test Case: monitorFans.006
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.006
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 1259 TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
    >>>     >>> Unknown parameter/object name fansMonitorCounter
    >>>     >>> Value Line Error - Command Ignored
    >>> (E) @LINE: 1260 TEST.VALUE:Fans.<<GLOBAL>>.rpmAlarmStartTimer:1
    >>>     >>> Unknown parameter/object name rpmAlarmStartTimer
    >>>     >>> Value Line Error - Command Ignored
TEST.END_IMPORT_FAILURES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Subprogram: publishFansData

-- Test Case: publishFansData.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:publishFansData
TEST.NEW
TEST.NAME:publishFansData.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++fansPublishCounter > getPublishFansDataInterval()) ==> 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:Fans.getPublishFansDataInterval
TEST.VALUE:Fans.getPublishFansDataInterval.return:<<MIN>>
TEST.END

-- Test Case: publishFansData.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:publishFansData
TEST.NEW
TEST.NAME:publishFansData.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++fansPublishCounter > getPublishFansDataInterval()) ==> 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:Fans.getPublishFansDataInterval
TEST.VALUE:Fans.getPublishFansDataInterval.return:<<MAX>>
TEST.END

-- Subprogram: testResetFanPublishIntervalOverride

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

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

-- Subprogram: testResetFanRPMOverride

-- Test Case: testResetFanRPMOverride.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:testResetFanRPMOverride
TEST.NEW
TEST.NAME:testResetFanRPMOverride.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> 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:Fans.testResetFanRPMOverride.fanId:<<MIN>>
TEST.END

-- Test Case: testResetFanRPMOverride.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:testResetFanRPMOverride
TEST.NEW
TEST.NAME:testResetFanRPMOverride.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> 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:Fans.testResetFanRPMOverride.fanId:<<MAX>>
TEST.END

-- Test Case: testResetFanRPMOverride.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:testResetFanRPMOverride
TEST.NEW
TEST.NAME:testResetFanRPMOverride.003
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> 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:Fans.testResetFanRPMOverride.fanId:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Subprogram: testSetFanPublishIntervalOverride

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

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

-- Subprogram: testSetFanRPMOverride

-- Test Case: testSetFanRPMOverride.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:testSetFanRPMOverride
TEST.NEW
TEST.NAME:testSetFanRPMOverride.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> 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:Fans.testSetFanRPMOverride.fanId:<<MIN>>
TEST.VALUE:Fans.testSetFanRPMOverride.rpm:<<MIN>>
TEST.END

-- Test Case: testSetFanRPMOverride.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:testSetFanRPMOverride
TEST.NEW
TEST.NAME:testSetFanRPMOverride.002
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> 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:Fans.testSetFanRPMOverride.fanId:<<MAX>>
TEST.VALUE:Fans.testSetFanRPMOverride.rpm:<<MIN>>
TEST.END

-- Test Case: testSetFanRPMOverride.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:testSetFanRPMOverride
TEST.NEW
TEST.NAME:testSetFanRPMOverride.003
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> 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:Fans.testSetFanRPMOverride.fanId:<<MIN>>
TEST.VALUE:Fans.testSetFanRPMOverride.rpm:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END