| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_TCP_API_utest.c | 83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal() argument
122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback() argument
366 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_InvalidValues() local
371 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_recv_InvalidValues()
375 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
384 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_recv_InvalidValues()
385 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
390 xSocket.ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_recv_InvalidValues()
391 xReturn = FreeRTOS_recv( &xSocket, NULL, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
401 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal() argument
122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback() argument
232 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure() local
238 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure()
240 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_SockSizeFailure()
248 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure_SockDependent() local
255 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
257 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, xSocket ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
265 Socket_t xSocket; in test_FreeRTOS_socket_NoMemory() local
276 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_NoMemory()
[all …]
|
| D | FreeRTOS_Sockets_privates_utest.c | 83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal() argument
122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback() argument
184 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundSetButNotBound() local
187 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvValidSocket_SocketBoundSetButNotBound()
189 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvValidSocket_SocketBoundSetButNotBound()
191 xReturn = prvValidSocket( &xSocket, xProtocol, xIsBound ); in test_prvValidSocket_SocketBoundSetButNotBound()
202 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundResetButBound() local
205 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvValidSocket_SocketBoundResetButBound()
207 xSocket.ucProtocol = xProtocol; in test_prvValidSocket_SocketBoundResetButBound()
209 xReturn = prvValidSocket( &xSocket, xProtocol, xIsBound ); in test_prvValidSocket_SocketBoundResetButBound()
[all …]
|
| D | FreeRTOS_Sockets_UDP_API_utest.c | 83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal() argument
122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback() argument
136 Socket_t xSocket = NULL; in test_FreeRTOS_recvfrom_NullSocket() local
143 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NullSocket()
155 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_TCPSocket() local
162 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_TCPSocket()
164 xSocket->ucProtocol = FREERTOS_IPPROTO_TCP; in test_FreeRTOS_recvfrom_TCPSocket()
166 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_TCPSocket()
168 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_TCPSocket()
180 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_utest.c | 66 FreeRTOS_Socket_t xSocket, * pxSocket; variable
84 static void HandleConnected( Socket_t xSocket, in HandleConnected() argument
87 TEST_ASSERT_EQUAL( xHandleConnectedSocket, xSocket ); in HandleConnected()
114 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketCloseNextTime_Not_Close_Socket()
116 vSocketCloseNextTime( &xSocket ); in test_vSocketCloseNextTime_Not_Close_Socket()
122 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketCloseNextTime_Not_Close_Same_Socket()
124 vSocketCloseNextTime( &xSocket ); in test_vSocketCloseNextTime_Not_Close_Same_Socket()
139 FreeRTOS_Socket_t xSocket; in test_vSocketListenNextTime() local
143 vSocketListenNextTime( &xSocket ); in test_vSocketListenNextTime()
145 TEST_ASSERT_EQUAL( &xSocket, xSocketToListen ); in test_vSocketListenNextTime()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | FreeRTOS_TCP_IP_DiffConfig_utest.c | 64 FreeRTOS_Socket_t xSocket, * pxSocket; variable
81 static void HandleConnected( Socket_t xSocket, in HandleConnected() argument
84 TEST_ASSERT_EQUAL( xHandleConnectedSocket, xSocket ); in HandleConnected()
92 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1() local
95 memset( &xSocket, 0, sizeof( xSocket ) ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
97 xSocket.u.xTCP.eTCPState = eESTABLISHED; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
98 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
99 xSocket.u.xTCP.pxAckMessage = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
101 prvTCPAddTxData_Expect( &xSocket ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
103 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_Sockets.h | 187 extern BaseType_t xSocketValid( const ConstSocket_t xSocket );
203 BaseType_t FreeRTOS_bind( Socket_t xSocket,
208 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket,
215 BaseType_t FreeRTOS_closesocket( Socket_t xSocket );
219 BaseType_t FreeRTOS_SignalSocket( Socket_t xSocket );
222 BaseType_t FreeRTOS_SignalSocketFromISR( Socket_t xSocket,
232 int32_t FreeRTOS_sendto( Socket_t xSocket,
240 int32_t FreeRTOS_recvfrom( const ConstSocket_t xSocket,
249 size_t FreeRTOS_GetLocalAddress( ConstSocket_t xSocket,
294 BaseType_t FreeRTOS_listen( Socket_t xSocket,
[all …]
|
| D | IPTraceMacroDefaults.h | 170 #define iptraceBIND_FAILED( xSocket, usPort ) argument
210 #define iptraceFAILED_TO_NOTIFY_SELECT_GROUP( xSocket ) argument
|
| D | FreeRTOS_DHCP.h | 226 BaseType_t xIsDHCPSocket( const ConstSocket_t xSocket );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 82 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal() argument
121 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback() argument
135 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP() local
141 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketBind_TCP()
143 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP()
145 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCP()
156 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP1() local
162 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketBind_TCP1()
164 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP1()
168 listSET_LIST_ITEM_VALUE_Expect( &( xSocket.xBoundSocketListItem ), xBindAddress.sin_port ); in test_vSocketBind_TCP1()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 47 Socket_t xSocket; in DNS_CreateSocket() local
54 xSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in DNS_CreateSocket()
56 if( xSocketValid( xSocket ) == pdFALSE ) in DNS_CreateSocket()
59 xSocket = NULL; in DNS_CreateSocket()
65 xReturn = FreeRTOS_bind( xSocket, &xAddress, ( socklen_t ) sizeof( xAddress ) ); in DNS_CreateSocket()
70 ( void ) FreeRTOS_closesocket( xSocket ); in DNS_CreateSocket()
71 xSocket = NULL; in DNS_CreateSocket()
78 …( void ) FreeRTOS_setsockopt( xSocket, 0, FREERTOS_SO_SNDTIMEO, &( uxWriteTimeOut_ticks ), sizeof(… in DNS_CreateSocket()
79 …( void ) FreeRTOS_setsockopt( xSocket, 0, FREERTOS_SO_RCVTIMEO, &( uxReadTimeOut_ticks ), sizeof( … in DNS_CreateSocket()
83 return xSocket; in DNS_CreateSocket()
|
| D | FreeRTOS_Sockets.c | 590 void FreeRTOS_FD_SET( Socket_t xSocket, in FreeRTOS_FD_SET() argument
594 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_FD_SET()
631 void FreeRTOS_FD_CLR( Socket_t xSocket, in FreeRTOS_FD_CLR() argument
635 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_FD_CLR()
669 EventBits_t FreeRTOS_FD_ISSET( const ConstSocket_t xSocket, in FreeRTOS_FD_ISSET() argument
673 const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_FD_ISSET()
845 int32_t FreeRTOS_recvfrom( const ConstSocket_t xSocket, in FreeRTOS_recvfrom() argument
855 FreeRTOS_Socket_t const * pxSocket = xSocket; in FreeRTOS_recvfrom()
1065 int32_t FreeRTOS_sendto( Socket_t xSocket, in FreeRTOS_sendto() argument
1083 pxSocket = ( FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_sendto()
[all …]
|
| D | FreeRTOS_DHCP.c | 137 BaseType_t xIsDHCPSocket( const ConstSocket_t xSocket ) in xIsDHCPSocket() argument
141 if( xDHCPSocket == xSocket ) in xIsDHCPSocket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_privates_utest.c | 82 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal() argument
121 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback() argument
135 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP() local
141 memset( &xSocket, 0, sizeof( xSocket ) ); in test_vSocketBind_TCP()
143 xSocket.ucProtocol = ( uint8_t ) FREERTOS_IPPROTO_TCP; in test_vSocketBind_TCP()
145 catch_assert( vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ) ); in test_vSocketBind_TCP()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 63 FreeRTOS_Socket_t xSocket, * pxSocket; variable
124 pxSocket = &xSocket; in test_prvCheckOptions_No_Option()
145 pxSocket = &xSocket; in test_prvCheckOptions_Invalid_Data_Length()
167 pxSocket = &xSocket; in test_prvCheckOptions_Invalid_Option_Length()
189 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF()
216 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF_Bad_Option()
243 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF_Without_END()
270 pxSocket = &xSocket; in test_prvCheckOptions_MSS_WSF_SYN_on()
543 static void xLocalFunctionPointer( Socket_t xSocket, in xLocalFunctionPointer() argument
552 pxSocket = &xSocket; in test_prvReadSackOption()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 57 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket, in FreeRTOS_setsockopt() argument
63 __CPROVER_assert( xSocket != NULL, in FreeRTOS_setsockopt()
75 BaseType_t FreeRTOS_closesocket( Socket_t xSocket ) in FreeRTOS_closesocket() argument
77 __CPROVER_assert( xSocket != NULL, in FreeRTOS_closesocket()
87 BaseType_t FreeRTOS_bind( Socket_t xSocket, in FreeRTOS_bind() argument
91 __CPROVER_assert( xSocket != NULL, in FreeRTOS_bind()
119 int32_t FreeRTOS_recvfrom( Socket_t xSocket, in FreeRTOS_recvfrom() argument
189 int32_t FreeRTOS_sendto( Socket_t xSocket, in FreeRTOS_sendto() argument
196 __CPROVER_assert( xSocket != NULL, in FreeRTOS_sendto()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
| D | FreeRTOS_TCP_Transmission_utest.c | 78 FreeRTOS_Socket_t xSocket, * pxSocket; variable
95 pxSocket = &xSocket; in test_prvTCPMakeSurePrepared_Not_Ready()
115 pxSocket = &xSocket; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
133 pxSocket = &xSocket; in test_prvTCPMakeSurePrepared_Ready()
148 pxSocket = &xSocket; in test_prvTCPSendPacket_Syn_State()
171 pxSocket = &xSocket; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
190 pxSocket = &xSocket; in test_prvTCPSendPacket_Syn_State_Not_Prepared()
210 pxSocket = &xSocket; in test_prvTCPSendPacket_Other_State_Zero_To_Send()
231 pxSocket = &xSocket; in test_prvTCPSendPacket_Other_State_Something_To_Send()
289 pxSocket = &xSocket; in test_prvTCPSendRepeated_Zero_To_Send()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
| D | FreeRTOS_TCP_State_Handling_utest.c | 70 FreeRTOS_Socket_t xSocket, * pxSocket; variable
144 pxSocket = &xSocket; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
168 pxSocket = &xSocket; in test_prvTCPStatusAgeCheck_Checks_Done_Age_LE_Protectiontime()
183 pxSocket = &xSocket; in test_prvTCPStatusAgeCheck_Checks_Done_Age_GT_Protectiontime()
199 pxSocket = &xSocket; in test_prvTCPStatusAgeCheck_Checks_Done_PassQueueBit_True()
219 pxSocket = &xSocket; in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
248 pxSocket = &xSocket; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
278 pxSocket = &xSocket; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
311 pxSocket = &xSocket; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Last()
344 pxSocket = &xSocket; in test_prvHandleSynReceived_Exp_SYN_State_ConnectSyn()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Utils/ |
| D | FreeRTOS_TCP_Utils_utest.c | 55 FreeRTOS_Socket_t xSocket, * pxSocket; variable
90 pxSocket = &xSocket; in test_prvSocketSetMSS_Reduced()
102 pxSocket = &xSocket; in test_prvSocketSetMSS_Normal()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/IsDHCPSocket/ |
| D | IsDHCPSocket_harness.c | 45 Socket_t xSocket; in harness() local
48 xResult = xIsDHCPSocket( xSocket ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 329 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert() local
332 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert()
336 xReturn = FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, xByteCount ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert()
343 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert() local
346 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert()
350 …xReturn = FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, ReleaseTCPPayloadBu… in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert()
357 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert() local
360 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert()
364 …FreeRTOS_recv_ExpectAndReturn( &xSocket, NULL, ReleaseTCPPayloadBufferxByteCount, FREERTOS_MSG_DON… in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert()
366 …xReturn = FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, ReleaseTCPPayloadBu… in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 599 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert() local
602 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert()
606 … catch_assert( FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, xByteCount ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert()
611 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert() local
613 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert()
617 …catch_assert( FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, ReleaseTCPPaylo… in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert()
622 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert() local
624 memset( &xSocket, 0, sizeof( xSocket ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert()
628 …FreeRTOS_recv_ExpectAndReturn( &xSocket, NULL, ReleaseTCPPayloadBufferxByteCount, FREERTOS_MSG_DON… in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert()
630 …catch_assert( FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, ReleaseTCPPaylo… in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ConfigFiles/ |
| D | IPTraceMacroDefaults.h | 128 #define iptraceBIND_FAILED( xSocket, usPort ) argument
168 #define iptraceFAILED_TO_NOTIFY_SELECT_GROUP( xSocket ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 21 BaseType_t xIsDHCPSocket( Socket_t xSocket ) in xIsDHCPSocket() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 70 static int32_t RecvFromStub( Socket_t xSocket, in RecvFromStub() argument
120 static int32_t FreeRTOS_recvfrom_Generic( Socket_t xSocket, in FreeRTOS_recvfrom_Generic() argument
136 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout() argument
154 …atic int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout() argument
172 …atic int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout() argument
192 …t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsCorrectCookieAndOpcodeNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsCorrectCookieAndOpcodeNoTimeout() argument
214 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccessCorrectTxID( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccessCorrectTxID() argument
238 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrType( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrType() argument
264 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrLen( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrLen() argument
293 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_LocalHostAddr( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_LocalHostAddr() argument
[all …]
|
