| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
| D | FreeRTOS_UDP_IPv6_utest.c | 106 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum() local
134 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass() local
166 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyFail() local
198 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_LLMNRRequestPass() local
230 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_LLMNRRequestFail() local
262 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_LLMNRReplyPass() local
294 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_LLMNRReplyFail() local
326 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_NBNSRequestPass() local
358 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_NBNSRequestFail() local
390 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_NBNSReplyPass() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_utest.c | 101 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass() local
134 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail() local
167 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestPass() local
200 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestFail() local
233 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_LLMNRReplyPass() local
266 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_LLMNRReplyFail() local
299 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_MDNSRequestPass() local
334 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_MDNSRequestFail() local
369 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_MDNSReplyPass() local
404 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_MDNSReplyFail() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_TCP_API_utest.c | 370 BaseType_t xReturn; in test_FreeRTOS_recv_InvalidValues() local
405 BaseType_t xReturn; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
432 BaseType_t xReturn; in test_FreeRTOS_recv_EstablishedConnection_NoWait() local
456 BaseType_t xReturn; in test_FreeRTOS_recv_TimeOut() local
483 BaseType_t xReturn; in test_FreeRTOS_recv_Interrupted() local
512 BaseType_t xReturn; in test_FreeRTOS_recv_Interrupted1() local
543 BaseType_t xReturn; in test_FreeRTOS_recv_RxStreamNULL() local
574 BaseType_t xReturn; in test_FreeRTOS_recv_12BytesAlreadyInBuffer() local
602 BaseType_t xReturn; in test_FreeRTOS_recv_LowWaterReached() local
638 BaseType_t xReturn; in test_FreeRTOS_recv_LowWaterReached2() local
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 624 EventBits_t xReturn; in test_FreeRTOS_FD_ISSET_SocketSetDifferent() local
643 EventBits_t xReturn; in test_FreeRTOS_FD_ISSET_SocketSetSame() local
662 BaseType_t xReturn; in test_FreeRTOS_select_CatchAssert() local
675 BaseType_t xReturn; in test_FreeRTOS_select_BitsMatched() local
700 BaseType_t xReturn; in test_FreeRTOS_select_Timeout() local
727 BaseType_t xReturn; in test_FreeRTOS_select_TimeoutSecondTime() local
764 BaseType_t xReturn; in test_FreeRTOS_select_FoundWaitBits() local
785 BaseType_t xReturn; in test_FreeRTOS_bind_catchAssert() local
800 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsNULL() local
817 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsInvalid() local
[all …]
|
| D | FreeRTOS_Sockets_privates_utest.c | 141 BaseType_t xReturn; in test_prvValidSocket_InvalidOrNULLSocket() local
159 BaseType_t xReturn; in test_prvValidSocket_SocketBoundSetButNotBound() local
177 BaseType_t xReturn; in test_prvValidSocket_SocketBoundResetButBound() local
195 BaseType_t xReturn; in test_prvValidSocket_InvalidProtocol() local
226 BaseType_t xReturn; in test_prvDetermineSocketSize_IPTaskNotInit() local
256 BaseType_t xReturn; in test_prvDetermineSocketSize_CatchAssert2() local
275 BaseType_t xReturn; in test_prvDetermineSocketSize_CatchAssert3() local
299 BaseType_t xReturn; in test_prvDetermineSocketSize_CatchAssert4() local
324 BaseType_t xReturn; in test_prvDetermineSocketSize_CatchAssert5() local
349 BaseType_t xReturn; in test_prvDetermineSocketSize_UDPSocket() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
| D | FreeRTOS_IPv6_utest.c | 468 BaseType_t xReturn; in test_xIsIPv6AllowedMulticast_ZeroScope() local
485 BaseType_t xReturn; in test_xIsIPv6AllowedMulticast_ReservedAddress() local
502 BaseType_t xReturn; in test_xIsIPv6AllowedMulticast_ValidAddress() local
513 BaseType_t xReturn; in test_xCompareIPv6_Address_LLMNR() local
526 BaseType_t xReturn; in test_xCompareIPv6_Address_AllNodes() local
539 BaseType_t xReturn; in test_xCompareIPv6_Address_BothLocalAddresses() local
552 BaseType_t xReturn; in test_xCompareIPv6_Address_CoverageLocalAddressLeftFF80() local
565 BaseType_t xReturn; in test_xCompareIPv6_Address_CoverageLocalAddressLeftFE81() local
578 BaseType_t xReturn; in test_xCompareIPv6_Address_CoverageLocalAddressRightFF80() local
591 BaseType_t xReturn; in test_xCompareIPv6_Address_CoverageLocalAddressRightFE81() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Utils/ |
| D | FreeRTOS_IPv4_Utils_utest.c | 72 BaseType_t xReturn; in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength() local
100 BaseType_t xReturn; in test_prvChecksumIPv4Checks_BufferLessIPPacket() local
128 BaseType_t xReturn; in test_prvChecksumIPv4Checks_BufferLessIPHeaderLength() local
156 BaseType_t xReturn; in test_prvChecksumIPv4Checks_BufferLessIPPayloadLength() local
183 BaseType_t xReturn; in test_prvChecksumIPv4Checks_Pass() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 50 BaseType_t xReturn; in DNS_BindSocket() local
105 BaseType_t xReturn = pdFALSE; in DNS_SendRequest() local
143 BaseType_t xReturn; in DNS_ReadReply() local
|
| D | FreeRTOS_Sockets.c | 406 BaseType_t xReturn; in prvValidSocket() local
463 BaseType_t xReturn = pdPASS; in prvDetermineSocketSize() local
623 Socket_t xReturn; in FreeRTOS_socket() local
925 EventBits_t xReturn; in FreeRTOS_FD_ISSET() local
1373 BaseType_t xReturn = prvValidSocket( pxSocket, FREERTOS_IPPROTO_UDP, pdFALSE ); in prvMakeSureSocketIsBound() local
1681 BaseType_t xReturn = 0; in FreeRTOS_bind() local
1793 BaseType_t xReturn = 0; in prvSocketBindAdd() local
1896 BaseType_t xReturn = 0; /* In Berkeley sockets, 0 means pass for bind(). */ in vSocketBind() local
2349 BaseType_t xReturn; in prvSockopt_so_buffer() local
2406 BaseType_t xReturn = 0; in prvSetOptionCallback() local
[all …]
|
| D | FreeRTOS_IPv6.c | 219 BaseType_t xReturn = pdFALSE; in xIsExtHeader() local
288 BaseType_t xReturn = pdFALSE; in xIsIPv6Loopback() local
315 BaseType_t xReturn = pdFALSE; in xIsIPv6AllowedMulticast() local
562 BaseType_t xReturn; in xGetExtensionOrder() local
|
| D | FreeRTOS_IPv6_Utils.c | 78 BaseType_t xReturn = 0; in prvChecksumIPv6Checks() local
136 BaseType_t xReturn = 0; in prvChecksumICMPv6Checks() local
|
| D | FreeRTOS_Tiny_TCP.c | 305 BaseType_t xReturn; in xTCPWindowTxDone() local
337 BaseType_t xReturn; in prvTCPWindowTxHasSpace() local
369 BaseType_t xReturn; in xTCPWindowTxHasData() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
| D | xCheckRequiresARPResolution_harness.c | 18 BaseType_t xReturn; in xIsIPInARPCache() local
28 size_t xReturn = ipSIZE_OF_IPv4_HEADER; in uxIPHeaderSizePacket() local
61 eARPLookupResult_t xReturn; in eNDGetCacheEntry() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 746 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_NullInput() local
758 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_a_UnknownHintFamily() local
778 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_a_IPv4AddressFound() local
804 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_a_IPv6AddressFound() local
831 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_a_IPv4DomainCacheFound() local
856 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_a_IPv6DomainCacheFound() local
886 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_a_IPv4DomainCacheMiss_Random() local
909 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_a_IPv6DomainCacheMiss_Random() local
937 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_a_IPv6Random_EndPointNotFound() local
978 BaseType_t xReturn; in test_FreeRTOS_getaddrinfo_a_IPv4Random_BindFailWithDot() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/ |
| D | FreeRTOS_Sockets_IPv6_utest.c | 597 BaseType_t xReturn; in test_prv_ntop6_write_zeros() local
618 BaseType_t xReturn; in test_prv_ntop6_write_zeros_AddressEndsInZeroes() local
640 BaseType_t xReturn; in test_prv_ntop6_write_zeros_NotEnoughSpaceInBuffer() local
661 BaseType_t xReturn; in test_prv_ntop6_write_zeros_NotEnoughSpaceInBuffer_2() local
682 BaseType_t xReturn; in test_prv_ntop6_write_zeros_TargetndexGreater() local
703 BaseType_t xReturn; in test_prv_ntop6_write_short_SmallerBuffer() local
723 BaseType_t xReturn; in test_prv_ntop6_write_short_EnoughBuffer() local
745 BaseType_t xReturn; in test_prv_ntop6_write_short_EnoughBuffer_StartAfterBeginning() local
766 BaseType_t xReturn; in test_prv_ntop6_write_short_NotEnoughSpaceForShort() local
878 BaseType_t xReturn; in test_prv_inet_pton6_add_nibble_NotColon() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c | 66 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress() local
89 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress() local
112 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress() local
135 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsAlreadyBound_NullDestinationAddress() local
300 BaseType_t xReturn; in test_FreeRTOS_GetRemoteAddress_IPv6HappyPath() local
323 BaseType_t xReturn; in test_FreeRTOS_GetIPType_IPv6HappyPath() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 42 BaseType_t xReturn; in xCheckRequiresARPResolution() local
52 BaseType_t xReturn; in xSendDHCPEvent() local
64 BaseType_t xReturn; in xProcessReceivedUDPPacket_IPv6() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
| D | FreeRTOS_TCP_Transmission_IPv6_utest.c | 374 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_CacheMiss_NULLEP() local
394 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_CacheHit_NULLEP() local
415 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_CacheHit_RandNumFail() local
435 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_CantSendPacket_NULLEP() local
454 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_CacheMiss_ValidEP() local
480 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_DefaultCase_ValidEP() local
508 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_HappyPath_IPv4() local
537 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_HappyPath_IPv6() local
565 BaseType_t xReturn; in test_prvTCPSendSpecialPktHelper_IPV6() local
587 BaseType_t xReturn; in test_prvTCPSendSpecialPktHelper_IPV6_Syn() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 66 BaseType_t xReturn; in test_vSocketBind_TCP() local
87 BaseType_t xReturn; in test_vSocketBind_TCP1() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_kernel_api.c | 62 BaseType_t xReturn; in xTaskResumeAll() local
77 EventBits_t xReturn; in xEventGroupSetBits() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
| D | FreeRTOS_Tiny_TCP_utest.c | 335 BaseType_t xReturn; in test_xTCPWindowTxDone_seg_datalength_eq_zero() local
347 BaseType_t xReturn; in test_xTCPWindowTxDone_seg_datalength_ne_zero() local
360 BaseType_t xReturn; in test_xTCPWindowTxHasData() local
376 BaseType_t xReturn; in test_xTCPWindowTxHasData_txData_eq_zero() local
391 BaseType_t xReturn; in test_xTCPWindowTxHasData_outstanding_bits() local
413 BaseType_t xReturn; in test_xTCPWindowTxHasData_outstanding_bits_2() local
436 BaseType_t xReturn; in test_xTCPWindowTxHasData_tx_window_no_space() local
530 BaseType_t xReturn; in test_xTCPWindowRxEmpty_not_empty() local
543 BaseType_t xReturn; in test_xTCPWindowRxEmpty_Empty() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/ |
| D | usGenerateProtocolChecksum_IPv6_harness.c | 52 BaseType_t xReturn = pdFALSE; in xIsExtensionHeader() local
74 BaseType_t xReturn = -1; in xGetExtensionOrder() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 182 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4Packet() local
208 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6Packet() local
234 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_UnknownPacket() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC17xx/ |
| D | NetworkInterface.c | 90 BaseType_t xStatus, xReturn; in xNetworkInterfaceInitialise() local
130 BaseType_t xReturn = pdFAIL; in xNetworkInterfaceOutput() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/ |
| D | ProcessReceivedUDPPacket_IPv6_harness.c | 48 BaseType_t xReturn; in xCheckRequiresARPResolution() local
72 BaseType_t xReturn; in xSendDHCPEvent() local
|
