/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
D | FreeRTOS_Sockets_TCP_API_utest.c | 95 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_InvalidParams() 101 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_InvalidParams() 121 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_ClientSocketTaken() 147 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_PeerSocketNULL() 174 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_NotReuseSocket() 210 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_ReuseSocket() 243 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_ReuseSocket_NULLAddress() 274 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_ReuseSocket_Timeout() 316 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_ReuseIPv6Socket() 348 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_ReuseIPv6Socket_NullAddress() [all …]
|
D | FreeRTOS_Sockets_privates_utest.c | 300 …AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = ~( FREERTOS_IPPROTO_UDP | FREERTOS_IPPROTO_TCP ); in test_prvDetermineSocketSize_CatchAssert4() 377 …seType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_DGRAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_prvDetermineSocketSize_CatchAssert6() 402 …eType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_prvDetermineSocketSize_TCPSocket() 423 …Type_t xDomain = FREERTOS_AF_INET6, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_prvDetermineSocketSize_TCPv6Socket() 458 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_prvMakeSureSocketIsBound_TCPProtocol() 573 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP() 605 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCPNULLAddress() 629 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_RNGFails() 761 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCPGotAProperValue() 795 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCPGotAProperValuePortZero() [all …]
|
D | FreeRTOS_Sockets_GenericAPI_utest.c | 78 …eType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_socket_SockSizeFailure() 111 …eType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_socket_NoMemory() 132 …eType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_socket_EventGroupCreationFailed() 190 TEST_ASSERT_EQUAL( xSocket->ucProtocol, ( uint8_t ) FREERTOS_IPPROTO_TCP ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() 205 …eType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_socket_TCPSocket() 338 …Type_t xDomain = FREERTOS_AF_INET6, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_socket_TCPv6Socket() 1028 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_FreeRTOS_closesocket_TCPSocketSendFail() 1051 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_FreeRTOS_closesocket_TCPSocketSendPass() 1277 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_setsockopt_UDPMaxRxPacketsNonUDPSock() 1299 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_setsockopt_UDPChkSumNULL() [all …]
|
D | FreeRTOS_Sockets_UDP_API_utest.c | 103 xSocket->ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_recvfrom_TCPSocket() 931 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_sendto_TCPSocket()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
D | FreeRTOS_Sockets_DiffConfig2_privates_utest.c | 65 …eType_t xDomain = FREERTOS_AF_INET, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_prvDetermineSocketSize_TCPSocket() 86 …Type_t xDomain = FREERTOS_AF_INET6, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_prvDetermineSocketSize_TCPv6Socket()
|
D | FreeRTOS_Sockets_DiffConfig2_TCP_API_utest.c | 72 xServerSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_accept_ReuseIPv6Socket()
|
D | FreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c | 261 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_prvSocketProps_TCPv6() 308 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_GetRemoteAddress_IPv6HappyPath()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 75 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP() 97 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP1()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/ |
D | FreeRTOS_Sockets.c | 526 else if( xProtocol == FREERTOS_IPPROTO_TCP ) in prvDetermineSocketSize() 646 xProtocolCpy = FREERTOS_IPPROTO_TCP; in FreeRTOS_socket() 744 …else if( xProtocolCpy == FREERTOS_IPPROTO_TCP ) /* LCOV_EXCL_BR_LINE Exclude else case because pro… in FreeRTOS_socket() 1797 …if( ( ( xInternal == pdFALSE ) || ( pxSocket->ucProtocol != ( uint8_t ) FREERTOS_IPPROTO_TCP ) ) && in prvSocketBindAdd() 1801 … ( pxSocket->ucProtocol == ( uint8_t ) FREERTOS_IPPROTO_TCP ) ? "TC" : "UD", in prvSocketBindAdd() 1907 if( pxSocket->ucProtocol == ( uint8_t ) FREERTOS_IPPROTO_TCP ) in vSocketBind() 2021 if( pxSocket->ucProtocol == ( uint8_t ) FREERTOS_IPPROTO_TCP ) in FreeRTOS_closesocket() 2079 if( pxSocket->ucProtocol == ( uint8_t ) FREERTOS_IPPROTO_TCP ) in vSocketClose() 2154 if( pxSocket->ucProtocol == ( uint8_t ) FREERTOS_IPPROTO_TCP ) in vSocketClose() 2178 if( pxSocket->ucProtocol == ( uint8_t ) FREERTOS_IPPROTO_TCP ) in prvSocketProps() [all …]
|
D | FreeRTOS_TCP_State_Handling_IPv4.c | 141 … FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP ); in prvHandleListen_IPV4()
|
D | FreeRTOS_TCP_State_Handling_IPv6.c | 136 … FreeRTOS_socket( FREERTOS_AF_INET6, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP ); in prvHandleListen_IPV6()
|
D | FreeRTOS_TCP_IP.c | 715 …if( ( pxFound->ucProtocol == ( uint8_t ) FREERTOS_IPPROTO_TCP ) && ( pxFound->u.xTCP.bits.bPassAcc… in xTCPCheckNewClient()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
D | FreeRTOS_Sockets_DiffConfig1_privates_utest.c | 64 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP()
|
D | FreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c | 65 …Type_t xDomain = FREERTOS_AF_INET6, xType = FREERTOS_SOCK_STREAM, xProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_socket_TCPv6SocketLowMSS()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/ |
D | FreeRTOS_TCP_State_Handling_IPv6_utest.c | 276 …FreeRTOS_socket_ExpectAndReturn( FREERTOS_AF_INET6, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP, NU… in test_prvHandleListen_IPV6_NewSocketNull() 312 …FreeRTOS_socket_ExpectAndReturn( FREERTOS_AF_INET6, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP, FR… in test_prvHandleListen_IPV6_NewSocketInvalid() 352 …FreeRTOS_socket_ExpectAndReturn( FREERTOS_AF_INET6, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP, px… in test_prvHandleListen_IPV6_NewSocketCopyFailure() 395 …FreeRTOS_socket_ExpectAndReturn( FREERTOS_AF_INET6, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP, px… in test_prvHandleListen_IPV6_NewSocketGood() 447 …FreeRTOS_socket_ExpectAndReturn( FREERTOS_AF_INET6, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP, px… in test_prvHandleListen_IPV6_NewSocketGoodValidDataLength()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
D | vSocketClose_harness.c | 77 if( pxSocket->ucProtocol == FREERTOS_IPPROTO_TCP ) in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
D | FreeRTOS_Sockets.h | 94 #define FREERTOS_IPPROTO_TCP ( 6 ) macro
|
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
D | http_client_test.c | 375 … xSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP ); in prvEchoClientTask()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/ |
D | FreeRTOS_TCP_IP_utest.c | 2424 pxSocket->ucProtocol = FREERTOS_IPPROTO_TCP; in test_xTCPCheckNewClient_Not_Found_Not_Aceept() 2451 pxSocket->ucProtocol = FREERTOS_IPPROTO_TCP; in test_xTCPCheckNewClient_Found()
|