Home
last modified time | relevance | path

Searched refs:vDHCPProcess (Results 1 – 6 of 6) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c434 vDHCPProcess( pdFALSE, eWaitingSendFirstDiscover ); in test_vDHCPProcess_NotResetAndIncorrectState()
446 vDHCPProcess( pdTRUE, eWaitingSendFirstDiscover ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
477 vDHCPProcess( pdTRUE, i ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
524 vDHCPProcess( pdTRUE, i ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()
569 vDHCPProcess( pdTRUE, i ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()
608 vDHCPProcess( pdTRUE, i ); in test_vDHCPProcess_ResetAndIncorrectStateWithSocketAlreadyCreated()
641 vDHCPProcess( pdFALSE, eWaitingSendFirstDiscover ); in test_vDHCPProcess_CorrectStateDHCPHookFailsDHCPSocketNULL()
673 vDHCPProcess( pdFALSE, eWaitingSendFirstDiscover ); in test_vDHCPProcess_CorrectStateDHCPHookFailsDHCPSocketNonNULL()
707 vDHCPProcess( pdFALSE, eWaitingSendFirstDiscover ); in test_vDHCPProcess_CorrectStateDHCPHookDefaultReturn()
736 vDHCPProcess( pdFALSE, eWaitingSendFirstDiscover ); in test_vDHCPProcess_CorrectStateDHCPHookContinueReturnDHCPSocketNotNULLButGNWFails()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c59 void vDHCPProcess( BaseType_t xReset,
103 vDHCPProcess( xReset, eExpectedState ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DHCP.h222 void vDHCPProcess( BaseType_t xReset,
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_IP_Utils.c370 vDHCPProcess( pdTRUE, eInitialWait ); in prvProcessNetworkDownEvent()
DFreeRTOS_DHCP.c187 void vDHCPProcess( BaseType_t xReset, in vDHCPProcess() function
DFreeRTOS_IP.c406 vDHCPProcess( pdFALSE, eState ); in prvProcessIPEventsAndTimers()