Home
last modified time | relevance | path

Searched refs:eInitialWait (Results 1 – 6 of 6) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/
HDDHCPProcess_harness.c96 if( !( ( xDHCPData.eDHCPState == eInitialWait ) || in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/
HDFreeRTOS_DHCP.c199 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPProcess()
213 case eInitialWait: in vDHCPProcess()
362 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPProcess()
471 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPProcess()
859 EP_DHCPData.eDHCPState = eInitialWait; in prvProcessDHCPReplies()
HDFreeRTOS_IP_Utils.c370 vDHCPProcess( pdTRUE, eInitialWait ); in prvProcessNetworkDownEvent()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
HDFreeRTOS_DHCP.h186 eInitialWait = 0, /**< Initial state: open a socket and wait a short time. */ enumerator
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/
HDFreeRTOS_IP_Utils_utest.c286 vDHCPProcess_Expect( pdTRUE, eInitialWait ); in test_prvProcessNetworkDownEvent_Pass()
300 vDHCPProcess_Expect( pdTRUE, eInitialWait ); in test_prvProcessNetworkDownEvent_Pass()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/
HDFreeRTOS_DHCP_utest.c1189 TEST_ASSERT_EQUAL( eInitialWait, xDHCPData.eDHCPState ); in test_vDHCPProcess_eWaitingOfferRecvfromFailsTimeoutDontGiveUpRNGPassNoBroadcast()
2648 TEST_ASSERT_EQUAL( eInitialWait, xDHCPData.eDHCPState ); in test_vDHCPProcess_eWaitingAcknowledgeTwoOptionsIncorrectServerTimeoutPeriodLess()
3015 TEST_ASSERT_EQUAL( eInitialWait, xDHCPData.eDHCPState ); in test_vDHCPProcess_eWaitingAcknowledge_TwoOptions_NACK()