| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_privates_utest.c | 65 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_prvDetermineSocketSize_TCPSocket() local
86 …BaseType_t xDomain = FREERTOS_AF_INET6, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO… in test_prvDetermineSocketSize_TCPv6Socket() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c | 65 …BaseType_t xDomain = FREERTOS_AF_INET6, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO… in test_FreeRTOS_socket_TCPv6SocketLowMSS() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen/ |
| D | prvHandleListen_harness.c | 51 BaseType_t xProtocol ) in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen_IPv6/ |
| D | prvHandleListen_IPv6_harness.c | 51 BaseType_t xProtocol ) in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 143 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdFALSE; in test_prvValidSocket_InvalidOrNULLSocket() local
161 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdTRUE; in test_prvValidSocket_SocketBoundSetButNotBound() local
179 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdFALSE; in test_prvValidSocket_SocketBoundResetButBound() local
197 BaseType_t xProtocol = FREERTOS_IPPROTO_UDP, xIsBound = pdTRUE; in test_prvValidSocket_InvalidProtocol() local
227 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_IPTaskNotInit() local
242 …BaseType_t xDomain = FREERTOS_AF_INET + 1, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPRO… in test_prvDetermineSocketSize_CatchAssert() local
257 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_CatchAssert2() local
276 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_prvDetermineSocketSize_CatchAssert3() local
300 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = ~( FREERTOS_IPPROT… in test_prvDetermineSocketSize_CatchAssert4() local
325 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM + 1, xProtocol = FREERTOS_IPPRO… in test_prvDetermineSocketSize_CatchAssert5() local
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 78 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_SockSizeFailure() local
95 BaseType_t xProtocol = FREERTOS_SOCK_DEPENDENT_PROTO; in test_FreeRTOS_socket_SockSizeFailure_SockDependent() local
111 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_NoMemory() local
132 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_EventGroupCreationFailed() local
159 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_SOCK_DEP… in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() local
205 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_… in test_FreeRTOS_socket_TCPSocket() local
250 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_U… in test_FreeRTOS_socket_UDPSocket() local
289 …BaseType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_SOCK_DEPE… in test_FreeRTOS_socket_UDPSocket_ProtocolDependent() local
326 …BaseType_t xDomain = FREERTOS_AF_INET + 1, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_SOCK_… in test_FreeRTOS_socket_unknownDomain() local
338 …BaseType_t xDomain = FREERTOS_AF_INET6, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO… in test_FreeRTOS_socket_TCPv6Socket() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 16 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 16 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 18 uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 71 BaseType_t xProtocol ) in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 38 BaseType_t xProtocol ) in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Sockets.c | 403 BaseType_t xProtocol, in prvValidSocket()
460 BaseType_t xProtocol, in prvDetermineSocketSize()
616 BaseType_t xProtocol ) in FreeRTOS_socket()
2956 static uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol ) in prvGetPrivatePortNumber()
|
