Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c422 for( i = 0; i < sizeof( xTestData.eDHCPState ); i++ ) in test_eGetDHCPState()
425 xDHCPData.eDHCPState = i; in test_eGetDHCPState()
433 xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_NotResetAndIncorrectState()
438 TEST_ASSERT_EQUAL( eSendDHCPRequest, xDHCPData.eDHCPState ); in test_vDHCPProcess_NotResetAndIncorrectState()
443 xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
450 TEST_ASSERT_EQUAL( eWaitingSendFirstDiscover, xDHCPData.eDHCPState ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
461 xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
481 TEST_ASSERT_EQUAL( eWaitingSendFirstDiscover, xDHCPData.eDHCPState ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
501 xDHCPData.eDHCPState = eSendDHCPRequest; in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()
528 TEST_ASSERT_EQUAL( eWaitingSendFirstDiscover, xDHCPData.eDHCPState ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DHCP.c178 return EP_DHCPData.eDHCPState; in eGetDHCPState()
199 EP_DHCPData.eDHCPState = eInitialWait; in vDHCPProcess()
202 if( ( EP_DHCPData.eDHCPState != eExpectedState ) && ( xReset == pdFALSE ) ) in vDHCPProcess()
207 eExpectedState, EP_DHCPData.eDHCPState ) ); in vDHCPProcess()
211 switch( EP_DHCPData.eDHCPState ) in vDHCPProcess()
218 EP_DHCPData.eDHCPState = eWaitingSendFirstDiscover; in vDHCPProcess()
243 EP_DHCPData.eDHCPState = eWaitingOffer; in vDHCPProcess()
275 EP_DHCPData.eDHCPState = eWaitingAcknowledge; in vDHCPProcess()
306 EP_DHCPData.eDHCPState = eWaitingAcknowledge; in vDHCPProcess()
313 EP_DHCPData.eDHCPState = eSendDHCPRequest; in vDHCPProcess()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c96 if( !( ( xDHCPData.eDHCPState == eInitialWait ) || in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DHCP.h209 eDHCPState_t eDHCPState; /**< Maintains the DHCP state machine state. */ member