/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/ |
D | FreeRTOS_ND_utest.c | 141 xEndPoint1.bits.bIPv6 = 0; in test_eNDGetCacheEntry_Multicast_ValidEndPoint() 142 xEndPoint2.bits.bIPv6 = 1; in test_eNDGetCacheEntry_Multicast_ValidEndPoint() 143 xEndPoint3.bits.bIPv6 = 1; in test_eNDGetCacheEntry_Multicast_ValidEndPoint() 719 xEndPoint.bits.bIPv6 = 1; in test_vNDAgeCache_NSIncorrectDataLen() 757 xEndPoint.bits.bIPv6 = 1; in test_vNDAgeCache_NSHappyPath() 830 xEndPoint.bits.bIPv6 = pdFALSE; in test_vNDSendNeighbourSolicitation_bIPv6_NotSet() 851 xEndPoint.bits.bIPv6 = 1; in test_vNDSendNeighbourSolicitation_HappyPath() 885 pxEndPoint->bits.bIPv6 = 1; in test_SendPingRequestIPv6_NULL_EP() 913 pxEndPoint->bits.bIPv6 = 0; in test_SendPingRequestIPv6_bIPv6_NotSet() 940 pxEndPoint->bits.bIPv6 = 1; in test_SendPingRequestIPv6_bIPv6_NoBytesToSend() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
D | FreeRTOS_Routing.h | 170 bIPv6 : 1, /**< This end-point has an IP-address of type IPv6. */ member 195 …#define END_POINT_USES_RA( pxEndPoint ) ( ( ( pxEndPoint )->bits.bIPv6 != pdFALSE_UNSIGNED ) … 197 …_IS_IPv4( pxEndPoint ) ( ( ( pxEndPoint ) != NULL ) && ( ( pxEndPoint )->bits.bIPv6 == 0U ) ) 198 …_IS_IPv6( pxEndPoint ) ( ( ( pxEndPoint ) != NULL ) && ( ( pxEndPoint )->bits.bIPv6 != 0U ) )
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/ |
D | FreeRTOS_DNS_utest.c | 107 xEndPoint.bits.bIPv6 = 0; in test_FreeRTOS_gethostbyname_FailAllocateNetworkBuffer() 227 xEndPoint.bits.bIPv6 = 0; in test_FreeRTOS_gethostbyname_FailSendDNSRequest() 283 xEndPoint.bits.bIPv6 = 0; in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull() 342 xEndPoint.bits.bIPv6 = 0; in test_FreeRTOS_gethostbyname_FailSendDNSReplyZero() 404 xEndPoint.bits.bIPv6 = 0; in test_FreeRTOS_gethostbyname_Success() 694 xEndPoint.bits.bIPv6 = pdFALSE; in test_FreeRTOS_gethostbyname_a_NoCallbackRetryOnce() 949 xEndPoint.bits.bIPv6 = pdFALSE; in test_FreeRTOS_getaddrinfo_a_IPv6Random_EndPointNotFound() 993 xEndPoint[ 0 ].bits.bIPv6 = pdTRUE; in test_FreeRTOS_getaddrinfo_a_IPv4Random_BindFailWithDot() 995 xEndPoint[ 1 ].bits.bIPv6 = pdFALSE; in test_FreeRTOS_getaddrinfo_a_IPv4Random_BindFailWithDot() 999 xEndPoint[ 2 ].bits.bIPv6 = pdFALSE; in test_FreeRTOS_getaddrinfo_a_IPv4Random_BindFailWithDot() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
D | FreeRTOS_DHCPv6_utest.c | 1558 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_AdvertiseHappyPath() 1606 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_AdvertiseIATA() 1654 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_ReplyHappyPath() 1698 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_DHCPLeaseTimeout() 1751 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_GiveupWhenSocketNull() 1790 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_WaitReplyTimeout() 1864 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_prvDHCPv6Analyse_UnknownMsgType() 1904 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_prvDHCPv6Analyse_WrongTransactionID() 1944 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_prvDHCPv6Analyse_ReadTransactionIDError() 1984 xEndPoint.bits.bIPv6 = pdTRUE; in test_vDHCPv6Process_prvDHCPv6Analyse_ReadOptionError() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/ |
D | FreeRTOS_Routing.c | 297 if( pxEndPoint->bits.bIPv6 == pdTRUE_UNSIGNED ) in FreeRTOS_AddEndPoint() 306 if( pxEndPoint->bits.bIPv6 == pdFALSE_UNSIGNED ) in FreeRTOS_AddEndPoint() 416 if( pxEndPoint->bits.bIPv6 == 0U ) in FreeRTOS_FindEndPointOnIP_IPv4() 452 if( pxEndPoint->bits.bIPv6 != pdFALSE_UNSIGNED ) in FreeRTOS_FindEndPointOnIP_IPv6() 578 if( pxEndPoint->bits.bIPv6 == pdFALSE_UNSIGNED ) in FreeRTOS_InterfaceEndPointOnNetMask() 646 pxEndPoint->bits.bIPv6 = pdTRUE_UNSIGNED; in FreeRTOS_FillEndPoint_IPv6() 692 if( pxEndPoint->bits.bIPv6 != pdFALSE_UNSIGNED ) in FreeRTOS_FindEndPointOnNetMask_IPv6() 784 if( xIsIPv6 == ( BaseType_t ) pxEndPoint->bits.bIPv6 ) in pxEasyFit() 1049 … if( ( xIPType == ( BaseType_t ) ipTYPE_IPv6 ) && ( pxEndPoint->bits.bIPv6 != pdFALSE_UNSIGNED ) ) in FreeRTOS_FindGateWay() 1058 … if( ( xIPType == ( BaseType_t ) ipTYPE_IPv4 ) && ( pxEndPoint->bits.bIPv6 == pdFALSE_UNSIGNED ) ) in FreeRTOS_FindGateWay() [all …]
|
D | FreeRTOS_DNS.c | 971 if( pxEndPoint->bits.bIPv6 != 0U ) in prvFillSockAddress() 979 if( pxEndPoint->bits.bIPv6 == 0U ) in prvFillSockAddress() 1007 if( pxEndPoint->bits.bIPv6 == 0U ) in prvFillSockAddress() 1027 if( pxEndPoint->bits.bIPv6 != 0U ) in prvFillSockAddress()
|
D | FreeRTOS_ND.c | 126 if( pxEndPoint->bits.bIPv6 == pdTRUE_UNSIGNED ) in pxFindLocalEndpoint() 578 if( ( pxEndPoint != NULL ) && ( pxEndPoint->bits.bIPv6 != pdFALSE_UNSIGNED ) ) in vNDSendNeighbourSolicitation() 707 if( pxEndPoint->bits.bIPv6 != 0U ) in FreeRTOS_SendPingRequestIPv6() 959 if( ( pxEndPoint != NULL ) && ( pxEndPoint->bits.bIPv6 != pdFALSE_UNSIGNED ) ) in prvProcessICMPMessage_IPv6()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing/ |
D | FreeRTOS_Routing_utest.c | 138 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xEndPoint.bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_HappyPath() 233 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xEndPoint[ 0 ].bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints() 251 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xEndPoint[ 1 ].bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints() 268 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xEndPoint[ 2 ].bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints() 308 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xEndPoint.bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_SameEndpoint() 358 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xEndPoint.bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_IPv6_HappyPath() 503 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xEndPoint.bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_IPv6_NullGatewayDNSPrefix() 546 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xEndPoint[ 0 ].bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints() 565 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xEndPoint[ 1 ].bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints() 584 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xEndPoint[ 2 ].bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_IPv6_MultipleEndpoints() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig3/ |
D | FreeRTOS_IP_DiffConfig3_utest.c | 133 pxEndPoints->bits.bIPv6 = pdTRUE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eDHCPEvent_DHCPv6() 165 pxEndPoints->bits.bIPv6 = pdTRUE_UNSIGNED; in test_prvProcessIPEventsAndTimers_eDHCPEvent_RA()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigCompatibleWithSingle/ |
D | FreeRTOS_Routing_ConfigCompatibleWithSingle_utest.c | 114 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xEndPoint.bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_HappyPath() 208 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xEndPoint[ 0 ].bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_MultipleEndpoints() 258 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xEndPoint.bits.bIPv6 ); in test_FreeRTOS_FillEndPoint_SameEndpoint() 571 xEndPoint.bits.bIPv6 = pdTRUE; in test_FreeRTOS_FirstEndPoint_IPv6_HappyPath() 604 xEndPoint.bits.bIPv6 = pdTRUE; in test_FreeRTOS_FirstEndPoint_IPv6_Null() 676 xEndPoint[ i ].bits.bIPv6 = pdTRUE; in test_FreeRTOS_FirstEndPoint_IPv6_AnotherInterface() 681 xEndPoint[ i ].bits.bIPv6 = pdFALSE; in test_FreeRTOS_FirstEndPoint_IPv6_AnotherInterface()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/ |
D | FreeRTOS_UDP_IPv6_stubs.c | 145 xEndpoint.bits.bIPv6 = pdTRUE; in prvPrepareDefaultIPv6EndPoint() 163 xEndpoint.bits.bIPv6 = pdFALSE; in prvPrepareDefaultIPv4EndPoint()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Timers/ |
D | FreeRTOS_IP_Timers_utest.c | 92 xEndpoint.bits.bIPv6 = pdFALSE_UNSIGNED; in setUp() 436 pxNetworkEndPoints->bits.bIPv6 = pdTRUE; in test_vCheckNetworkTimers_DHCPv6TimerActiveAndExpired() 466 pxNetworkEndPoints->bits.bIPv6 = pdTRUE; in test_vCheckNetworkTimers_RATimerActiveAndExpired() 500 xEndPoint.bits.bIPv6 = pdFALSE_UNSIGNED; in test_vCheckNetworkTimers_DNSTimerActiveAndExpired() 783 xEndPoint.bits.bIPv6 = pdFALSE_UNSIGNED; in test_vDHCP_RATimerReload() 1007 xEndPoint.bits.bIPv6 = pdFALSE_UNSIGNED; in test_vIPSetDHCP_RATimerEnableState_False() 1023 xEndPoint.bits.bIPv6 = pdFALSE_UNSIGNED; in test_vIPSetDHCP_RATimerEnableState_True()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/ |
D | FreeRTOS_ARP_DataLenLessThanMinPacket_utest.c | 52 xEndPoint.bits.bIPv6 = pdFALSE_UNSIGNED; in test_FreeRTOS_OutputARPRequest_MinimumPacketSizeLessThanARPPacket()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_ConfigNoCallback/ |
D | FreeRTOS_DNS_ConfigNoCallback_utest.c | 169 xEndPoint.bits.bIPv6 = pdFALSE; in test_FreeRTOS_gethostbyname_DifferentIdentifier() 239 xEndPoint.bits.bIPv6 = pdFALSE; in test_FreeRTOS_gethostbyname_SameIdentifier()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
D | FreeRTOS_IPv6_ConfigDriverCheckChecksum_stubs.c | 64 xEndpoint.bits.bIPv6 = 1U; in prvInitializeEndpoint()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/ |
D | FreeRTOS_RA_utest.c | 113 xEndPoint.bits.bIPv6 = pdFALSE_UNSIGNED; in test_vNDSendRouterSolicitation_FalsebIPv6() 138 xEndPoint.bits.bIPv6 = pdTRUE_UNSIGNED; in test_vNDSendRouterSolicitation_xHasLocal0() 178 xEndPoint.bits.bIPv6 = pdTRUE_UNSIGNED; in test_vNDSendRouterSolicitation_xHasLocal1() 219 xEndPoint.bits.bIPv6 = pdTRUE_UNSIGNED; in test_vNDSendRouterSolicitation_NullDesc() 256 xEndPoint.bits.bIPv6 = pdTRUE_UNSIGNED; in test_vNDSendRouterSolicitation_HappyPath() 1017 pxEndPoint->bits.bIPv6 = pdTRUE_UNSIGNED; in test_vRAProcess_eRAStateApply2() 1059 pxEndPoint->bits.bIPv6 = pdTRUE_UNSIGNED; in test_vRAProcess_eRAStateLease() 1092 pxEndPoint->bits.bIPv6 = pdTRUE_UNSIGNED; in test_vRAProcess_UndefinedState()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/ |
D | ProcessICMPMessage_IPv6_harness.c | 140 …etworkBuffer->pxEndPoint != NULL ) && ( pxNetworkBuffer->pxEndPoint->bits.bIPv6 == pdTRUE_UNSIGNED… in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/ |
D | ReturnICMP_IPv6_harness.c | 143 …etworkBuffer->pxEndPoint != NULL ) && ( pxNetworkBuffer->pxEndPoint->bits.bIPv6 == pdTRUE_UNSIGNED… in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/ |
D | FreeRTOS_IPv6_Utils_stubs.c | 67 xEndpoint.bits.bIPv6 = 1U; in prvInitializeEndpoint()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
D | DHCPProcess_harness.c | 205 __CPROVER_assume( pxNetworkEndPoints->bits.bIPv6 == 0 ); in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
D | DHCPv6Process_harness.c | 197 __CPROVER_assume( pxNetworkEndPoint->bits.bIPv6 == 1 ); in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
D | FreeRTOS_UDP_IPv4_stubs.c | 139 xEndpoint.bits.bIPv6 = pdFALSE; in prvPrepareDefaultIPv4EndPoint()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
D | FreeRTOS_IPv6_stubs.c | 67 xEndpoint.bits.bIPv6 = 1U; in prvInitializeEndpoint()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigV4Only/ |
D | FreeRTOS_Routing_ConfigV4Only_utest.c | 198 xEndPoint.bits.bIPv6 = pdTRUE; in test_pcEndpointName_IPv6HappyPath()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/ |
D | FreeRTOS_IP_Utils_DiffConfig_utest.c | 260 xEndPoint.bits.bIPv6 = pdTRUE; in test_prvProcessNetworkDownEvent_PassIPv6()
|