Home
last modified time | relevance | path

Searched refs:eExpectedState (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c102 pxEndPoint->xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPProcess_NotResetAndIncorrectState()
115 pxEndPoint->xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
133 pxEndPoint->xDHCPData.eExpectedState = 0; in test_vDHCPProcess_ResetAndInvalidSocket()
162 pxEndPoint->xDHCPData.eExpectedState = i; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
207 pxEndPoint->xDHCPData.eExpectedState = i; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()
258 pxEndPoint->xDHCPData.eExpectedState = i; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()
300 pxEndPoint->xDHCPData.eExpectedState = i; in test_vDHCPProcess_ResetAndIncorrectStateWithSocketAlreadyCreated()
343 pxEndPoint->xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPProcess_CorrectStateDHCPHookFailsDHCPSocketNULL()
380 pxEndPoint->xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPProcess_CorrectStateDHCPHookFailsDHCPSocketNonNULL()
423 pxEndPoint->xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPProcess_CorrectStateDHCPHookDefaultReturn()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/
DFreeRTOS_DHCPv6_utest.c1378 xEndPoint.xDHCPData.eExpectedState = eInitialWait; in test_vDHCPv6Process_ResetFromInit()
1412 xEndPoint.xDHCPData.eExpectedState = eLeasedAddress; in test_vDHCPv6Process_ResetFromLease()
1448 xEndPoint.xDHCPData.eExpectedState = eLeasedAddress; in test_vDHCPv6Process_ResetDifferentState()
1487 xEndPoint.xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPv6Process_SolicitationHappyPath()
1528 xEndPoint.xDHCPData.eExpectedState = eLeasedAddress; in test_vDHCPv6Process_SolicitationDifferentState()
1562 xEndPoint.xDHCPData.eExpectedState = eWaitingOffer; in test_vDHCPv6Process_AdvertiseHappyPath()
1610 xEndPoint.xDHCPData.eExpectedState = eWaitingOffer; in test_vDHCPv6Process_AdvertiseIATA()
1658 xEndPoint.xDHCPData.eExpectedState = eWaitingAcknowledge; in test_vDHCPv6Process_ReplyHappyPath()
1702 xEndPoint.xDHCPData.eExpectedState = eLeasedAddress; in test_vDHCPv6Process_DHCPLeaseTimeout()
1755 xEndPoint.xDHCPData.eExpectedState = eWaitingSendFirstDiscover; in test_vDHCPv6Process_GiveupWhenSocketNull()
[all …]
/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
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DHCP.c213 if( ( EP_DHCPData.eDHCPState != EP_DHCPData.eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPProcess()
218 EP_DHCPData.eExpectedState, EP_DHCPData.eDHCPState ) ); in vDHCPProcess()
684 if( ( EP_DHCPData.eDHCPState != EP_DHCPData.eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPProcessEndPoint()
689 EP_DHCPData.eExpectedState, EP_DHCPData.eDHCPState ) ); in vDHCPProcessEndPoint()
DFreeRTOS_DHCPv6.c766 if( ( EP_DHCPData.eDHCPState != EP_DHCPData.eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPv6ProcessEndPoint()
771 EP_DHCPData.eExpectedState, EP_DHCPData.eDHCPState ) ); in vDHCPv6ProcessEndPoint()
DFreeRTOS_IP_Utils.c238 pxEndPoint->xDHCPData.eExpectedState = uxOption; in xSendDHCPEvent()