Home
last modified time | relevance | path

Searched refs:xDHCPData (Results 1 – 11 of 11) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c30 extern DHCPData_t xDHCPData;
82 pxEndPoint->xDHCPData.eDHCPState = i; in test_eGetDHCPState()
101 pxEndPoint->xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_NotResetAndIncorrectState()
102 pxEndPoint->xDHCPData.eExpectedState = eWaitingSendFirstDiscover; 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()
115 pxEndPoint->xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
118 …xApplicationGetRandomNumber_ExpectAndReturn( &( pxEndPoint->xDHCPData.ulTransactionId ), pdFALSE ); 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()
[all …]
DFreeRTOS_DHCP_stubs.c19 DHCPData_t xDHCPData; variable
551 …( ( struct xDHCPMessage_IPv4 * ) pucUDPBuffer )->ulTransactionID = FreeRTOS_htonl( xDHCPData.ulTra… in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccessCorrectTxID()
575 …( ( struct xDHCPMessage_IPv4 * ) pucUDPBuffer )->ulTransactionID = FreeRTOS_htonl( xDHCPData.ulTra… in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrType()
601 …( ( struct xDHCPMessage_IPv4 * ) pucUDPBuffer )->ulTransactionID = FreeRTOS_htonl( xDHCPData.ulTra… in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrLen()
630 …( ( struct xDHCPMessage_IPv4 * ) pucUDPBuffer )->ulTransactionID = FreeRTOS_htonl( xDHCPData.ulTra… in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_LocalHostAddr()
660 …( ( struct xDHCPMessage_IPv4 * ) pucUDPBuffer )->ulTransactionID = FreeRTOS_htonl( xDHCPData.ulTra… in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_NonLocalHostAddr()
690 …( ( struct xDHCPMessage_IPv4 * ) pucUDPBuffer )->ulTransactionID = FreeRTOS_htonl( xDHCPData.ulTra… in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_LocalMACAddrNotMatching()
/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()
1378 xEndPoint.xDHCPData.eExpectedState = 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()
1412 xEndPoint.xDHCPData.eExpectedState = 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()
1448 xEndPoint.xDHCPData.eExpectedState = eLeasedAddress; in test_vDHCPv6Process_ResetDifferentState()
1464 TEST_ASSERT_EQUAL( eWaitingSendFirstDiscover, xEndPoint.xDHCPData.eDHCPState ); in test_vDHCPv6Process_ResetDifferentState()
[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.c50 extern DHCPData_t xDHCPData;
186 if( !( ( pxNetworkEndPoint_Temp->xDHCPData.eDHCPState == eInitialWait ) || in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c50 extern DHCPData_t xDHCPData;
197 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/
DFreeRTOS_DHCP.c62 …#define EP_DHCPData pxEndPoint->xDHCPData /**< Temporary define to make /s…
259 … if( pxDHCPMessage->ulTransactionID == FreeRTOS_htonl( pxIterator->xDHCPData.ulTransactionId ) ) in vDHCPProcess()
268 … if( ( pxIterator != NULL ) && ( pxIterator->xDHCPData.eDHCPState == eLeasedAddress ) ) in vDHCPProcess()
1593 if( pxEndPoint->xDHCPData.ulPreferredIPAddress != 0U ) in prvSendDHCPDiscover()
1596 pvCopySource = &( pxEndPoint->xDHCPData.ulPreferredIPAddress ); in prvSendDHCPDiscover()
DFreeRTOS_DHCPv6.c75 #define EP_DHCPData pxEndPoint->xDHCPData
322 ( unsigned int ) pxIterator->xDHCPData.ulTransactionId ) ); in xDHCPv6Process_PassReplyToEndPoint()
324 if( ( xDHCPMessage.ulTransactionID == pxIterator->xDHCPData.ulTransactionId ) && in xDHCPv6Process_PassReplyToEndPoint()
325 ( pxIterator->xDHCPData.eDHCPState != eLeasedAddress ) ) in xDHCPv6Process_PassReplyToEndPoint()
DFreeRTOS_IP_Utils.c238 pxEndPoint->xDHCPData.eExpectedState = uxOption; in xSendDHCPEvent()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_Routing.h182 DHCPData_t xDHCPData; /**< A description of the DHCP client state machine. */ member