Home
last modified time | relevance | path

Searched refs:eExpectedState (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c60 eDHCPState_t eExpectedState );
78 eDHCPState_t eExpectedState; in harness() local
103 vDHCPProcess( xReset, eExpectedState ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DHCP.h223 eDHCPState_t eExpectedState );
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DHCP.c188 eDHCPState_t eExpectedState ) in vDHCPProcess() argument
202 if( ( EP_DHCPData.eDHCPState != eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPProcess()
207 eExpectedState, EP_DHCPData.eDHCPState ) ); in vDHCPProcess()