Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c79 for( i = 0; i < sizeof( xTestData.eDHCPState ); i++ ) in test_eGetDHCPState()
82 pxEndPoint->xDHCPData.eDHCPState = i; in test_eGetDHCPState()
101 pxEndPoint->xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_NotResetAndIncorrectState()
107 TEST_ASSERT_EQUAL( eSendDHCPRequest, pxEndPoint->xDHCPData.eDHCPState ); in test_vDHCPProcess_NotResetAndIncorrectState()
114 pxEndPoint->xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
123 TEST_ASSERT_EQUAL( eWaitingSendFirstDiscover, pxEndPoint->xDHCPData.eDHCPState ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
132 pxEndPoint->xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_ResetAndInvalidSocket()
161 pxEndPoint->xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
185 TEST_ASSERT_EQUAL( eWaitingSendFirstDiscover, pxEndPoint->xDHCPData.eDHCPState ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
206 pxEndPoint->xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DHCP.c186 return EP_DHCPData.eDHCPState; in eGetDHCPState()
210 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPProcess()
213 if( ( EP_DHCPData.eDHCPState != EP_DHCPData.eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPProcess()
218 EP_DHCPData.eExpectedState, EP_DHCPData.eDHCPState ) ); in vDHCPProcess()
268 … if( ( pxIterator != NULL ) && ( pxIterator->xDHCPData.eDHCPState == eLeasedAddress ) ) in vDHCPProcess()
354 EP_DHCPData.eDHCPState = eWaitingAcknowledge; in xHandleWaitingOffer()
361 EP_DHCPData.eDHCPState = eSendDHCPRequest; in xHandleWaitingOffer()
412 EP_DHCPData.eDHCPState = eInitialWait; in xHandleWaitingOffer()
434 EP_DHCPData.eDHCPState = eGetLinkLayerAddress; in xHandleWaitingOffer()
485 EP_DHCPData.eDHCPState = eSendDHCPRequest; in vHandleWaitingAcknowledge()
[all …]
DFreeRTOS_DHCPv6.c167 return EP_DHCPData.eDHCPState; in eGetDHCPv6State()
325 ( pxIterator->xDHCPData.eDHCPState != eLeasedAddress ) ) in xDHCPv6Process_PassReplyToEndPoint()
393 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPv6Process()
415 EP_DHCPData.eDHCPState = eNotUsingLeasedAddress; in vDHCPv6Process()
494 EP_DHCPData.eDHCPState = eLeasedAddress; in vDHCPv6ProcessEndPoint_HandleReply()
555 EP_DHCPData.eDHCPState = eWaitingAcknowledge; in xDHCPv6ProcessEndPoint_HandleAdvertise()
594 switch( EP_DHCPData.eDHCPState ) in xDHCPv6ProcessEndPoint_HandleState()
601 EP_DHCPData.eDHCPState = eWaitingSendFirstDiscover; in xDHCPv6ProcessEndPoint_HandleState()
623 EP_DHCPData.eDHCPState = eWaitingOffer; in xDHCPv6ProcessEndPoint_HandleState()
664 EP_DHCPData.eDHCPState = eWaitingSendFirstDiscover; in xDHCPv6ProcessEndPoint_HandleState()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/
DFreeRTOS_DHCPv6_utest.c1343 xEndPoint.xDHCPData.eDHCPState = eState; in test_eGetDHCPv6State_HappyPath()
1377 xEndPoint.xDHCPData.eDHCPState = eInitialWait; in test_vDHCPv6Process_ResetFromInit()
1392 TEST_ASSERT_EQUAL( eWaitingSendFirstDiscover, xEndPoint.xDHCPData.eDHCPState ); in test_vDHCPv6Process_ResetFromInit()
1411 xEndPoint.xDHCPData.eDHCPState = eLeasedAddress; in test_vDHCPv6Process_ResetFromLease()
1428 TEST_ASSERT_EQUAL( eWaitingSendFirstDiscover, xEndPoint.xDHCPData.eDHCPState ); in test_vDHCPv6Process_ResetFromLease()
1447 xEndPoint.xDHCPData.eDHCPState = eInitialWait; in test_vDHCPv6Process_ResetDifferentState()
1464 TEST_ASSERT_EQUAL( eWaitingSendFirstDiscover, xEndPoint.xDHCPData.eDHCPState ); in test_vDHCPv6Process_ResetDifferentState()
1486 xEndPoint.xDHCPData.eDHCPState = eWaitingSendFirstDiscover; in test_vDHCPv6Process_SolicitationHappyPath()
1505 TEST_ASSERT_EQUAL( eWaitingOffer, xEndPoint.xDHCPData.eDHCPState ); in test_vDHCPv6Process_SolicitationHappyPath()
1527 xEndPoint.xDHCPData.eDHCPState = eWaitingSendFirstDiscover; in test_vDHCPv6Process_SolicitationDifferentState()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/
DDHCPv6ProcessEndPoint_harness.c58 …if( ( pxEndPoint->xDHCPData.eDHCPState == eLeasedAddress ) || ( pxEndPoint->xDHCPData.eDHCPState =… in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6ProcessEndPoint_HandleState()
/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.h213 eDHCPState_t eDHCPState; /**< The current state of the DHCP state machine. */ member