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

-- Subprogram: getCPLDACPowerLossDetected

-- Test Case: getCPLDACPowerLossDetected.001
TEST.UNIT:CPLD
TEST.SUBPROGRAM:getCPLDACPowerLossDetected
TEST.NEW
TEST.NAME:getCPLDACPowerLossDetected.001
TEST.BASIS_PATH:1 of 2 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((PIN_SIGNAL_HIGH) == acLevel) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable acLevel in branch 1
TEST.END_NOTES:
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5:<<malloc 1>>
TEST.EXPECTED:CPLD.getCPLDACPowerLossDetected.return:1
TEST.END

-- Test Case: getCPLDACPowerLossDetected.002
TEST.UNIT:CPLD
TEST.SUBPROGRAM:getCPLDACPowerLossDetected
TEST.NEW
TEST.NAME:getCPLDACPowerLossDetected.002
TEST.BASIS_PATH:2 of 2 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((PIN_SIGNAL_HIGH) == acLevel) ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable acLevel in branch 1
TEST.END_NOTES:
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5:<<malloc 1>>
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC2:PIN_SIGNAL_HIGH
TEST.EXPECTED:CPLD.getCPLDACPowerLossDetected.return:0
TEST.END

-- Subprogram: getCPLDOffButton

-- Test Case: getCPLDOffButton_NominalPath
TEST.UNIT:CPLD
TEST.SUBPROGRAM:getCPLDOffButton
TEST.NEW
TEST.NAME:getCPLDOffButton_NominalPath
TEST.VALUE:uut_prototype_stubs.gioGetBit.return:1
TEST.EXPECTED:CPLD.getCPLDOffButton.return:PIN_SIGNAL_HIGH
TEST.EXPECTED:uut_prototype_stubs.gioGetBit.bit:0
TEST.END

-- Subprogram: getCPLDStopButton

-- Test Case: getCPLDStopButton_NominalPath
TEST.UNIT:CPLD
TEST.SUBPROGRAM:getCPLDStopButton
TEST.NEW
TEST.NAME:getCPLDStopButton_NominalPath
TEST.VALUE:uut_prototype_stubs.gioGetBit.return:1
TEST.EXPECTED:CPLD.getCPLDStopButton.return:PIN_SIGNAL_HIGH
TEST.EXPECTED:uut_prototype_stubs.gioGetBit.bit:1
TEST.END

-- Subprogram: getCPLDWatchdogExpired

-- Test Case: getCPLDWatchdogExpired_NominalPath
TEST.UNIT:CPLD
TEST.SUBPROGRAM:getCPLDWatchdogExpired
TEST.NEW
TEST.NAME:getCPLDWatchdogExpired_NominalPath
TEST.VALUE:uut_prototype_stubs.gioGetBit.return:1
TEST.EXPECTED:CPLD.getCPLDWatchdogExpired.return:PIN_SIGNAL_HIGH
TEST.EXPECTED:uut_prototype_stubs.gioGetBit.bit:2
TEST.END

-- Subprogram: initCPLD

-- Test Case: initCPLD_NominalPath
TEST.UNIT:CPLD
TEST.SUBPROGRAM:initCPLD
TEST.NEW
TEST.NAME:initCPLD_NominalPath
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5:<<malloc 1>>
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0xF00
TEST.EXPECTED:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x100
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.bit:1,0
TEST.EXPECTED:uut_prototype_stubs.gioSetBit.value:(2)0
TEST.END

-- Subprogram: setCPLDLampBlue

-- Test Case: setCPLDLampBlue_Off
TEST.UNIT:CPLD
TEST.SUBPROGRAM:setCPLDLampBlue
TEST.NEW
TEST.NAME:setCPLDLampBlue_Off
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5:<<malloc 1>>
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x420
TEST.VALUE:CPLD.setCPLDLampBlue.level:PIN_SIGNAL_LOW
TEST.EXPECTED:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x20
TEST.END

-- Test Case: setCPLDLampBlue_On
TEST.UNIT:CPLD
TEST.SUBPROGRAM:setCPLDLampBlue
TEST.NEW
TEST.NAME:setCPLDLampBlue_On
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5:<<malloc 1>>
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0
TEST.VALUE:CPLD.setCPLDLampBlue.level:PIN_SIGNAL_HIGH
TEST.EXPECTED:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x400
TEST.END

-- Subprogram: setCPLDLampGreen

-- Test Case: setCPLDLampGreen_Off
TEST.UNIT:CPLD
TEST.SUBPROGRAM:setCPLDLampGreen
TEST.NEW
TEST.NAME:setCPLDLampGreen_Off
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5:<<malloc 1>>
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x220
TEST.VALUE:CPLD.setCPLDLampGreen.level:PIN_SIGNAL_LOW
TEST.EXPECTED:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x20
TEST.END

-- Test Case: setCPLDLampGreen_On
TEST.UNIT:CPLD
TEST.SUBPROGRAM:setCPLDLampGreen
TEST.NEW
TEST.NAME:setCPLDLampGreen_On
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5:<<malloc 1>>
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0
TEST.VALUE:CPLD.setCPLDLampGreen.level:PIN_SIGNAL_HIGH
TEST.EXPECTED:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x200
TEST.END

-- Subprogram: setCPLDLampRed

-- Test Case: setCPLDLampRed_Off
TEST.UNIT:CPLD
TEST.SUBPROGRAM:setCPLDLampRed
TEST.NEW
TEST.NAME:setCPLDLampRed_Off
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5:<<malloc 1>>
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x820
TEST.VALUE:CPLD.setCPLDLampRed.level:PIN_SIGNAL_LOW
TEST.EXPECTED:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x20
TEST.END

-- Test Case: setCPLDLampRed_On
TEST.UNIT:CPLD
TEST.SUBPROGRAM:setCPLDLampRed
TEST.NEW
TEST.NAME:setCPLDLampRed_On
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5:<<malloc 1>>
TEST.VALUE:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0
TEST.VALUE:CPLD.setCPLDLampRed.level:PIN_SIGNAL_HIGH
TEST.EXPECTED:CPLD.<<GLOBAL>>.ptr_mibspiREG5[0].PC3:0x800
TEST.END

-- Subprogram: toggleCPLDOffRequest

-- Test Case: toggleCPLDOffRequest_NominalPath
TEST.UNIT:CPLD
TEST.SUBPROGRAM:toggleCPLDOffRequest
TEST.NEW
TEST.NAME:toggleCPLDOffRequest_NominalPath
TEST.EXPECTED:uut_prototype_stubs.gioToggleBit.bit:0
TEST.END

-- Subprogram: toggleCPLDWatchdog

-- Test Case: toggleCPLDWatchdog_NominalPath
TEST.UNIT:CPLD
TEST.SUBPROGRAM:toggleCPLDWatchdog
TEST.NEW
TEST.NAME:toggleCPLDWatchdog_NominalPath
TEST.EXPECTED:uut_prototype_stubs.gioToggleBit.bit:1
TEST.END