Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/
DDHCPv6ProcessEndPoint_harness.c58 …>xDHCPData.eDHCPState == eLeasedAddress ) || ( pxEndPoint->xDHCPData.eDHCPState == eInitialWait ) ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DHCP.c210 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPProcess()
412 EP_DHCPData.eDHCPState = eInitialWait; in xHandleWaitingOffer()
491 EP_DHCPData.eDHCPState = eInitialWait; in vHandleWaitingAcknowledge()
681 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPProcessEndPoint()
705 case eInitialWait: in vDHCPProcessEndPoint()
985 EP_DHCPData.eDHCPState = eInitialWait; in vProcessHandleOption()
DFreeRTOS_DHCPv6.c393 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPv6Process()
596 case eInitialWait: in xDHCPv6ProcessEndPoint_HandleState()
710 EP_DHCPData.eDHCPState = eInitialWait; in xDHCPv6ProcessEndPoint_HandleState()
763 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPv6ProcessEndPoint()
1549 case eInitialWait: in prvStateName()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
DDHCPProcessEndPoint_harness.c186 if( !( ( pxNetworkEndPoint_Temp->xDHCPData.eDHCPState == eInitialWait ) || in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c197 if( !( ( pxNetworkEndPoints->xDHCPData.eDHCPState == eInitialWait ) || in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/
DDHCPv6Process_harness.c189 if( !( ( pxNetworkEndPoint->xDHCPData.eDHCPState == eInitialWait ) || in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DHCP.h187 eInitialWait = 0, /**< Initial state: open a socket and wait a short time. */ enumerator
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/
DFreeRTOS_DHCPv6_utest.c1336 eDHCPState_t eState = eInitialWait, eStateMax = eNotUsingLeasedAddress; in test_eGetDHCPv6State_HappyPath()
1341 for( eState = eInitialWait; eState <= eNotUsingLeasedAddress; eState++ ) in test_eGetDHCPv6State_HappyPath()
1377 xEndPoint.xDHCPData.eDHCPState = eInitialWait; in test_vDHCPv6Process_ResetFromInit()
1378 xEndPoint.xDHCPData.eExpectedState = eInitialWait; in test_vDHCPv6Process_ResetFromInit()
1447 xEndPoint.xDHCPData.eDHCPState = eInitialWait; in test_vDHCPv6Process_ResetDifferentState()
1843 TEST_ASSERT_EQUAL( eInitialWait, xEndPoint.xDHCPData.eDHCPState ); in test_vDHCPv6Process_WaitReplyTimeout()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c1118 TEST_ASSERT_EQUAL( eInitialWait, pxEndPoint->xDHCPData.eDHCPState ); in test_vDHCPProcess_eWaitingOfferRecvfromFailsTimeoutDontGiveUpRNGPassNoBroadcast()
3302 TEST_ASSERT_EQUAL( eInitialWait, pxEndPoint->xDHCPData.eDHCPState ); in test_vDHCPProcess_eWaitingAcknowledgeTwoOptionsIncorrectServerTimeoutPeriodLess()
3764 TEST_ASSERT_EQUAL( eInitialWait, pxEndPoint->xDHCPData.eDHCPState ); in test_vDHCPProcess_eWaitingAcknowledge_TwoOptions_NACK()