/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
HD | FreeRTOS_IPv6_utest.c | 468 BaseType_t xReturn; in test_xIsIPv6AllowedMulticast_ZeroScope() local 474 xReturn = xIsIPv6AllowedMulticast( &xMulticastZeroGroupID ); in test_xIsIPv6AllowedMulticast_ZeroScope() 475 TEST_ASSERT_EQUAL( pdFALSE, xReturn ); in test_xIsIPv6AllowedMulticast_ZeroScope() 485 BaseType_t xReturn; in test_xIsIPv6AllowedMulticast_ReservedAddress() local 491 xReturn = xIsIPv6AllowedMulticast( &xMulticastZeroFlag ); in test_xIsIPv6AllowedMulticast_ReservedAddress() 492 TEST_ASSERT_EQUAL( pdFALSE, xReturn ); in test_xIsIPv6AllowedMulticast_ReservedAddress() 502 BaseType_t xReturn; in test_xIsIPv6AllowedMulticast_ValidAddress() local 504 xReturn = xIsIPv6AllowedMulticast( &xMulticastZeroFlag ); in test_xIsIPv6AllowedMulticast_ValidAddress() 505 TEST_ASSERT_EQUAL( pdTRUE, xReturn ); in test_xIsIPv6AllowedMulticast_ValidAddress() 513 BaseType_t xReturn; in test_xCompareIPv6_Address_LLMNR() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
HD | FreeRTOS_Sockets_GenericAPI_utest.c | 624 EventBits_t xReturn; in test_FreeRTOS_FD_ISSET_SocketSetDifferent() local 629 xReturn = FreeRTOS_FD_ISSET( xSocket, xSocketSet ); in test_FreeRTOS_FD_ISSET_SocketSetDifferent() 631 TEST_ASSERT_EQUAL( 0, xReturn ); in test_FreeRTOS_FD_ISSET_SocketSetDifferent() 643 EventBits_t xReturn; in test_FreeRTOS_FD_ISSET_SocketSetSame() local 652 xReturn = FreeRTOS_FD_ISSET( xSocket, xSocketSet ); in test_FreeRTOS_FD_ISSET_SocketSetSame() 654 TEST_ASSERT_EQUAL( 0x12 & eSELECT_ALL, xReturn ); in test_FreeRTOS_FD_ISSET_SocketSetSame() 662 BaseType_t xReturn; in test_FreeRTOS_select_CatchAssert() local 675 BaseType_t xReturn; in test_FreeRTOS_select_BitsMatched() local 690 xReturn = FreeRTOS_select( xSocketSet, xBlockTimeTicks ); in test_FreeRTOS_select_BitsMatched() 692 TEST_ASSERT_EQUAL( 0x123, xReturn ); in test_FreeRTOS_select_BitsMatched() [all …]
|
HD | FreeRTOS_Sockets_TCP_API_utest.c | 370 BaseType_t xReturn; in test_FreeRTOS_recv_InvalidValues() local 380 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues() 381 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EINVAL, xReturn ); in test_FreeRTOS_recv_InvalidValues() 384 xReturn = FreeRTOS_recv( NULL, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues() 385 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EINVAL, xReturn ); in test_FreeRTOS_recv_InvalidValues() 390 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues() 391 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EINVAL, xReturn ); in test_FreeRTOS_recv_InvalidValues() 396 xReturn = FreeRTOS_recv( &xSocket, NULL, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues() 397 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EINVAL, xReturn ); in test_FreeRTOS_recv_InvalidValues() 405 BaseType_t xReturn; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local [all …]
|
HD | FreeRTOS_Sockets_privates_utest.c | 141 BaseType_t xReturn; in test_prvValidSocket_InvalidOrNULLSocket() local 145 xReturn = prvValidSocket( NULL, xProtocol, xIsBound ); in test_prvValidSocket_InvalidOrNULLSocket() 147 TEST_ASSERT_EQUAL( pdFALSE, xReturn ); in test_prvValidSocket_InvalidOrNULLSocket() 149 xReturn = prvValidSocket( pxSocket, xProtocol, xIsBound ); in test_prvValidSocket_InvalidOrNULLSocket() 151 TEST_ASSERT_EQUAL( pdFALSE, xReturn ); in test_prvValidSocket_InvalidOrNULLSocket() 159 BaseType_t xReturn; in test_prvValidSocket_SocketBoundSetButNotBound() local 167 xReturn = prvValidSocket( &xSocket, xProtocol, xIsBound ); in test_prvValidSocket_SocketBoundSetButNotBound() 169 TEST_ASSERT_EQUAL( pdFALSE, xReturn ); in test_prvValidSocket_SocketBoundSetButNotBound() 177 BaseType_t xReturn; in test_prvValidSocket_SocketBoundResetButBound() local 185 xReturn = prvValidSocket( &xSocket, xProtocol, xIsBound ); in test_prvValidSocket_SocketBoundResetButBound() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
HD | ProcessReceivedUDPPacket_harness.c | 42 BaseType_t xReturn; in xCheckRequiresARPResolution() local 44 __CPROVER_assume( ( xReturn == pdTRUE ) || ( xReturn == pdFALSE ) ); in xCheckRequiresARPResolution() 46 return xReturn; in xCheckRequiresARPResolution() 52 BaseType_t xReturn; in xSendDHCPEvent() local 54 __CPROVER_assume( ( xReturn == pdTRUE ) || ( xReturn == pdFALSE ) ); in xSendDHCPEvent() 56 return xReturn; in xSendDHCPEvent() 64 BaseType_t xReturn; in xProcessReceivedUDPPacket_IPv6() local 66 __CPROVER_assume( ( xReturn == pdTRUE ) || ( xReturn == pdFALSE ) ); in xProcessReceivedUDPPacket_IPv6() 68 return xReturn; in xProcessReceivedUDPPacket_IPv6()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/ |
HD | FreeRTOS_DNS_Networking.c | 50 BaseType_t xReturn; in DNS_BindSocket() local 56 xReturn = FreeRTOS_bind( xSocket, &xAddress, ( socklen_t ) sizeof( xAddress ) ); in DNS_BindSocket() 58 return xReturn; in DNS_BindSocket() 105 BaseType_t xReturn = pdFALSE; in DNS_SendRequest() local 120 xReturn = pdPASS; in DNS_SendRequest() 126 xReturn = pdFAIL; in DNS_SendRequest() 129 return xReturn; in DNS_SendRequest() 143 BaseType_t xReturn; in DNS_ReadReply() local 147 xReturn = FreeRTOS_recvfrom( xDNSSocket, in DNS_ReadReply() 154 if( xReturn <= 0 ) in DNS_ReadReply() [all …]
|
HD | FreeRTOS_IPv4_Utils.c | 82 BaseType_t xReturn = 0; in prvChecksumIPv4Checks() local 101 xReturn = 3; in prvChecksumIPv4Checks() 105 if( xReturn == 0 ) in prvChecksumIPv4Checks() 110 xReturn = 4; in prvChecksumIPv4Checks() 114 if( xReturn == 0 ) in prvChecksumIPv4Checks() 121 xReturn = 5; in prvChecksumIPv4Checks() 125 if( xReturn == 0 ) in prvChecksumIPv4Checks() 137 xReturn = 6; in prvChecksumIPv4Checks() 141 if( xReturn == 0 ) in prvChecksumIPv4Checks() 153 return xReturn; in prvChecksumIPv4Checks()
|
HD | FreeRTOS_IPv6.c | 219 BaseType_t xReturn = pdFALSE; in xIsExtHeader() local 230 xReturn = pdTRUE; in xIsExtHeader() 233 return xReturn; in xIsExtHeader() 288 BaseType_t xReturn = pdFALSE; in xIsIPv6Loopback() local 296 xReturn = pdTRUE; in xIsIPv6Loopback() 299 return xReturn; in xIsIPv6Loopback() 315 BaseType_t xReturn = pdFALSE; in xIsIPv6AllowedMulticast() local 326 xReturn = pdFALSE; in xIsIPv6AllowedMulticast() 337 xReturn = pdFALSE; in xIsIPv6AllowedMulticast() 341 xReturn = pdTRUE; in xIsIPv6AllowedMulticast() [all …]
|
HD | FreeRTOS_Tiny_TCP.c | 305 BaseType_t xReturn; in xTCPWindowTxDone() local 310 xReturn = pdTRUE; in xTCPWindowTxDone() 314 xReturn = pdFALSE; in xTCPWindowTxDone() 317 return xReturn; in xTCPWindowTxDone() 337 BaseType_t xReturn; in prvTCPWindowTxHasSpace() local 341 xReturn = pdTRUE; in prvTCPWindowTxHasSpace() 345 xReturn = pdFALSE; in prvTCPWindowTxHasSpace() 348 return xReturn; in prvTCPWindowTxHasSpace() 369 BaseType_t xReturn; in xTCPWindowTxHasData() local 378 xReturn = pdFALSE; in xTCPWindowTxHasData() [all …]
|
HD | FreeRTOS_Sockets.c | 406 BaseType_t xReturn; in prvValidSocket() local 410 xReturn = pdFALSE; in prvValidSocket() 415 xReturn = pdFALSE; in prvValidSocket() 420 xReturn = pdFALSE; in prvValidSocket() 424 xReturn = pdTRUE; in prvValidSocket() 427 return xReturn; in prvValidSocket() 463 BaseType_t xReturn = pdPASS; in prvDetermineSocketSize() local 470 xReturn = pdFAIL; in prvDetermineSocketSize() 479 xReturn = pdFAIL; in prvDetermineSocketSize() 488 xReturn = pdFAIL; in prvDetermineSocketSize() [all …]
|
HD | FreeRTOS_IPv6_Utils.c | 78 BaseType_t xReturn = 0; in prvChecksumIPv6Checks() local 89 xReturn = 1; in prvChecksumIPv6Checks() 99 xReturn = 3; in prvChecksumIPv6Checks() 118 xReturn = 2; in prvChecksumIPv6Checks() 123 return xReturn; in prvChecksumIPv6Checks() 136 BaseType_t xReturn = 0; in prvChecksumICMPv6Checks() local 158 xReturn = 10; in prvChecksumICMPv6Checks() 161 if( xReturn == 0 ) in prvChecksumICMPv6Checks() 171 return xReturn; in prvChecksumICMPv6Checks()
|
HD | FreeRTOS_IPv6_Sockets.c | 297 BaseType_t xReturn = pdPASS; in prv_ntop6_write_zeros() local 316 xReturn = pdFAIL; in prv_ntop6_write_zeros() 327 xReturn = pdFAIL; in prv_ntop6_write_zeros() 330 return xReturn; in prv_ntop6_write_zeros() 349 BaseType_t xReturn = pdPASS; in prv_ntop6_write_short() local 356 xReturn = pdFAIL; in prv_ntop6_write_short() 365 if( xReturn == pdPASS ) in prv_ntop6_write_short() 380 xReturn = pdFAIL; in prv_ntop6_write_short() 384 return xReturn; in prv_ntop6_write_short() 468 BaseType_t xReturn = pdPASS; in prv_inet_pton6_add_nibble() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Utils/ |
HD | FreeRTOS_IPv4_Utils_utest.c | 72 BaseType_t xReturn; in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength() local 87 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength() 89 TEST_ASSERT_EQUAL( 3, xReturn ); in test_prvChecksumIPv4Checks_IPLengthLessThanHeaderLength() 100 BaseType_t xReturn; in test_prvChecksumIPv4Checks_BufferLessIPPacket() local 115 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_BufferLessIPPacket() 117 TEST_ASSERT_EQUAL( 4, xReturn ); in test_prvChecksumIPv4Checks_BufferLessIPPacket() 128 BaseType_t xReturn; in test_prvChecksumIPv4Checks_BufferLessIPHeaderLength() local 143 xReturn = prvChecksumIPv4Checks( pucEthernetBuffer, uxBufferLength, &xSet ); in test_prvChecksumIPv4Checks_BufferLessIPHeaderLength() 145 TEST_ASSERT_EQUAL( 5, xReturn ); in test_prvChecksumIPv4Checks_BufferLessIPHeaderLength() 156 BaseType_t xReturn; in test_prvChecksumIPv4Checks_BufferLessIPPayloadLength() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
HD | freertos_kernel_api.c | 62 BaseType_t xReturn; in xTaskResumeAll() local 64 __CPROVER_assume( ( xReturn == pdTRUE ) || ( xReturn == pdFALSE ) ); in xTaskResumeAll() 66 return xReturn; in xTaskResumeAll() 77 EventBits_t xReturn; in xEventGroupSetBits() local 79 return xReturn; in xEventGroupSetBits()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket_IPv6/ |
HD | ProcessReceivedUDPPacket_IPv6_harness.c | 48 BaseType_t xReturn; in xCheckRequiresARPResolution() local 50 __CPROVER_assume( ( xReturn == pdTRUE ) || ( xReturn == pdFALSE ) ); in xCheckRequiresARPResolution() 52 return xReturn; in xCheckRequiresARPResolution() 72 BaseType_t xReturn; in xSendDHCPEvent() local 74 __CPROVER_assume( ( xReturn == pdTRUE ) || ( xReturn == pdFALSE ) ); in xSendDHCPEvent() 76 return xReturn; in xSendDHCPEvent()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
HD | FreeRTOS_Tiny_TCP_utest.c | 335 BaseType_t xReturn; in test_xTCPWindowTxDone_seg_datalength_eq_zero() local 340 xReturn = xTCPWindowTxDone( &xWindow ); in test_xTCPWindowTxDone_seg_datalength_eq_zero() 342 TEST_ASSERT_TRUE( xReturn ); in test_xTCPWindowTxDone_seg_datalength_eq_zero() 347 BaseType_t xReturn; in test_xTCPWindowTxDone_seg_datalength_ne_zero() local 352 xReturn = xTCPWindowTxDone( &xWindow ); in test_xTCPWindowTxDone_seg_datalength_ne_zero() 354 TEST_ASSERT_FALSE( xReturn ); in test_xTCPWindowTxDone_seg_datalength_ne_zero() 360 BaseType_t xReturn; in test_xTCPWindowTxHasData() local 368 xReturn = xTCPWindowTxHasData( &xWindow, in test_xTCPWindowTxHasData() 371 TEST_ASSERT_TRUE( xReturn ); in test_xTCPWindowTxHasData() 376 BaseType_t xReturn; in test_xTCPWindowTxHasData_txData_eq_zero() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
HD | FreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c | 66 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress() local 78 xReturn = FreeRTOS_bind( &xSocket, &xAddress, xAddressLength ); in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress() 80 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EINVAL, xReturn ); in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress() 89 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress() local 101 xReturn = FreeRTOS_bind( &xSocket, &xAddress, xAddressLength ); in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress() 103 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EINVAL, xReturn ); in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress() 112 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress() local 124 xReturn = FreeRTOS_bind( &xSocket, &xAddress, xAddressLength ); in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress() 126 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EINVAL, xReturn ); in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress() 135 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsAlreadyBound_NullDestinationAddress() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/ |
HD | FreeRTOS_Sockets_IPv6_utest.c | 597 BaseType_t xReturn; in test_prv_ntop6_write_zeros() local 606 xReturn = prv_ntop6_write_zeros( cDestination, 40, &( xSet ) ); in test_prv_ntop6_write_zeros() 608 TEST_ASSERT_EQUAL( pdPASS, xReturn ); in test_prv_ntop6_write_zeros() 618 BaseType_t xReturn; in test_prv_ntop6_write_zeros_AddressEndsInZeroes() local 628 xReturn = prv_ntop6_write_zeros( cDestination, 40, &( xSet ) ); in test_prv_ntop6_write_zeros_AddressEndsInZeroes() 630 TEST_ASSERT_EQUAL( pdPASS, xReturn ); in test_prv_ntop6_write_zeros_AddressEndsInZeroes() 640 BaseType_t xReturn; in test_prv_ntop6_write_zeros_NotEnoughSpaceInBuffer() local 650 xReturn = prv_ntop6_write_zeros( cDestination, 40, &( xSet ) ); in test_prv_ntop6_write_zeros_NotEnoughSpaceInBuffer() 652 TEST_ASSERT_EQUAL( pdFAIL, xReturn ); in test_prv_ntop6_write_zeros_NotEnoughSpaceInBuffer() 661 BaseType_t xReturn; in test_prv_ntop6_write_zeros_NotEnoughSpaceInBuffer_2() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
HD | xCheckRequiresARPResolution_harness.c | 18 BaseType_t xReturn; in xIsIPInARPCache() local 20 __CPROVER_assume( ( xReturn == pdTRUE ) || ( xReturn == pdFALSE ) ); in xIsIPInARPCache() 22 return xReturn; in xIsIPInARPCache() 28 size_t xReturn = ipSIZE_OF_IPv4_HEADER; in uxIPHeaderSizePacket() local 35 xReturn = ipSIZE_OF_IPv6_HEADER; in uxIPHeaderSizePacket() 38 return xReturn; in uxIPHeaderSizePacket() 61 eARPLookupResult_t xReturn; in eNDGetCacheEntry() local 66 return xReturn; in eNDGetCacheEntry()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
HD | FreeRTOS_TCP_Transmission_IPv6_utest.c | 374 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_CacheMiss_NULLEP() local 380 xReturn = prvTCPPrepareConnect_IPV6( pxSocket ); in test_prvTCPPrepareConnect_IPV6_CacheMiss_NULLEP() 382 TEST_ASSERT_EQUAL( pdFAIL, xReturn ); in test_prvTCPPrepareConnect_IPV6_CacheMiss_NULLEP() 394 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_CacheHit_NULLEP() local 401 xReturn = prvTCPPrepareConnect_IPV6( pxSocket ); in test_prvTCPPrepareConnect_IPV6_CacheHit_NULLEP() 403 TEST_ASSERT_EQUAL( pdFAIL, xReturn ); in test_prvTCPPrepareConnect_IPV6_CacheHit_NULLEP() 415 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_CacheHit_RandNumFail() local 422 xReturn = prvTCPPrepareConnect_IPV6( pxSocket ); in test_prvTCPPrepareConnect_IPV6_CacheHit_RandNumFail() 424 TEST_ASSERT_EQUAL( pdFAIL, xReturn ); in test_prvTCPPrepareConnect_IPV6_CacheHit_RandNumFail() 435 BaseType_t xReturn = pdFALSE; in test_prvTCPPrepareConnect_IPV6_CantSendPacket_NULLEP() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/M487/ |
HD | NetworkInterface.c | 89 BaseType_t xReturn = pdPASS; in xNetworkInterfaceInitialise() local 100 xReturn = pdFAIL; in xNetworkInterfaceInitialise() 104 xReturn = pdPASS; in xNetworkInterfaceInitialise() 113 xReturn = xTimerStart( xPhyHandlerTask, 0 ); in xNetworkInterfaceInitialise() 114 configASSERT( xReturn ); in xNetworkInterfaceInitialise() 120 …xReturn = xTaskCreate( prvEMACHandlerTask, "EMAC", configEMAC_TASK_STACK_SIZE, NULL, configMAX_PRI… in xNetworkInterfaceInitialise() 121 configASSERT( xReturn ); in xNetworkInterfaceInitialise() 138 return xReturn; in xNetworkInterfaceInitialise() 199 BaseType_t xReturn; in xGetPhyLinkStatus() local 203 xReturn = pdPASS; in xGetPhyLinkStatus() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
HD | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 66 BaseType_t xReturn; in test_vSocketBind_TCP() local 77 xReturn = vSocketBind( &xSocket, NULL, uxAddressLength, xInternal ); in test_vSocketBind_TCP() 79 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EADDRNOTAVAIL, xReturn ); in test_vSocketBind_TCP() 87 BaseType_t xReturn; in test_vSocketBind_TCP1() local 108 xReturn = vSocketBind( &xSocket, &xBindAddress, uxAddressLength, xInternal ); in test_vSocketBind_TCP1() 110 TEST_ASSERT_EQUAL( 0, xReturn ); in test_vSocketBind_TCP1()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
HD | FreeRTOS_UDP_IPv6_utest.c | 106 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum() local 124 …xReturn = xProcessReceivedUDPPacket_IPv6( &xNetworkBuffer, usDestPortNetworkEndian, &xIsWaitingFor… in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum() 126 TEST_ASSERT_EQUAL( pdFAIL, xReturn ); in test_xProcessReceivedUDPPacket_IPv6_ZeroChecksum() 134 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass() local 156 …xReturn = xProcessReceivedUDPPacket_IPv6( &xNetworkBuffer, usDestPortNetworkEndian, &xIsWaitingFor… in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass() 158 TEST_ASSERT_EQUAL( pdTRUE, xReturn ); in test_xProcessReceivedUDPPacket_IPv6_DNSReplyPass() 166 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_DNSReplyFail() local 188 …xReturn = xProcessReceivedUDPPacket_IPv6( &xNetworkBuffer, usDestPortNetworkEndian, &xIsWaitingFor… in test_xProcessReceivedUDPPacket_IPv6_DNSReplyFail() 190 TEST_ASSERT_EQUAL( pdFAIL, xReturn ); in test_xProcessReceivedUDPPacket_IPv6_DNSReplyFail() 198 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6_LLMNRRequestPass() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
HD | FreeRTOS_UDP_IPv4_utest.c | 101 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass() local 124 …xReturn = xProcessReceivedUDPPacket_IPv4( &xNetworkBuffer, usDestPortNetworkEndian, &xIsWaitingFor… in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass() 126 TEST_ASSERT_EQUAL( pdTRUE, xReturn ); in test_xProcessReceivedUDPPacket_IPv4_DNSReplyPass() 134 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail() local 157 …xReturn = xProcessReceivedUDPPacket_IPv4( &xNetworkBuffer, usDestPortNetworkEndian, &xIsWaitingFor… in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail() 159 TEST_ASSERT_EQUAL( pdFAIL, xReturn ); in test_xProcessReceivedUDPPacket_IPv4_DNSReplyFail() 167 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestPass() local 190 …xReturn = xProcessReceivedUDPPacket_IPv4( &xNetworkBuffer, usDestPortNetworkEndian, &xIsWaitingFor… in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestPass() 192 TEST_ASSERT_EQUAL( pdTRUE, xReturn ); in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestPass() 200 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4_LLMNRRequestFail() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IP/ |
HD | FreeRTOS_UDP_IP_utest.c | 182 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv4Packet() local 198 xReturn = xProcessReceivedUDPPacket( &xNetworkBuffer, usPort, &xIsWaitingForARPResolution ); in test_xProcessReceivedUDPPacket_IPv4Packet() 200 TEST_ASSERT_EQUAL( pdPASS, xReturn ); in test_xProcessReceivedUDPPacket_IPv4Packet() 208 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_IPv6Packet() local 224 xReturn = xProcessReceivedUDPPacket( &xNetworkBuffer, usPort, &xIsWaitingForARPResolution ); in test_xProcessReceivedUDPPacket_IPv6Packet() 226 TEST_ASSERT_EQUAL( pdPASS, xReturn ); in test_xProcessReceivedUDPPacket_IPv6Packet() 234 BaseType_t xReturn; in test_xProcessReceivedUDPPacket_UnknownPacket() local 248 xReturn = xProcessReceivedUDPPacket( &xNetworkBuffer, usPort, &xIsWaitingForARPResolution ); in test_xProcessReceivedUDPPacket_UnknownPacket() 250 TEST_ASSERT_EQUAL( pdFAIL, xReturn ); in test_xProcessReceivedUDPPacket_UnknownPacket()
|