Home
last modified time | relevance | path

Searched defs:eExpectedState (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c176 eDHCPState_t eExpectedState; in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DHCP.h214 …eDHCPState_t eExpectedState; /**< If the state is not equal the the expected state, no cycle nee… member