Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c93 catch_assert( vDHCPProcess( pdFALSE, NULL ) ); in test_vDHCPProcess_AssertChecks()
94 catch_assert( vDHCPProcess( pdFALSE, &xEndPoint ) ); in test_vDHCPProcess_AssertChecks()
103 vDHCPProcess( pdFALSE, pxEndPoint ); in test_vDHCPProcess_NotResetAndIncorrectState()
119 vDHCPProcess( pdTRUE, pxEndPoint ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
148 catch_assert( vDHCPProcess( pdTRUE, pxEndPoint ) ); in test_vDHCPProcess_ResetAndInvalidSocket()
181 vDHCPProcess( pdTRUE, pxEndPoint ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
232 vDHCPProcess( pdTRUE, pxEndPoint ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()
283 vDHCPProcess( pdTRUE, pxEndPoint ); in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()
319 vDHCPProcess( pdTRUE, pxEndPoint ); in test_vDHCPProcess_ResetAndIncorrectStateWithSocketAlreadyCreated()
359 vDHCPProcess( pdFALSE, pxEndPoint ); in test_vDHCPProcess_CorrectStateDHCPHookFailsDHCPSocketNULL()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c207 vDHCPProcess( xReset, pxNetworkEndPoints ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DHCP.h242 void vDHCPProcess( BaseType_t xReset,
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IP_Utils.c894 vDHCPProcess( pdTRUE, pxEndPoint ); in prvProcessNetworkDownEvent()
DFreeRTOS_DHCP.c197 void vDHCPProcess( BaseType_t xReset, in vDHCPProcess() function
DFreeRTOS_IP.c594 vDHCPProcess( pdFALSE, pxEndPoint ); in prvCallDHCP_RA_Handler()