| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Sockets/ |
| D | FreeRTOS_IPv4_Sockets_utest.c | 80 BaseType_t xResult; in test_FreeRTOS_inet_pton4() local
84 xResult = FreeRTOS_inet_pton4( pucValidString1, &ulIPAddress ); in test_FreeRTOS_inet_pton4()
85 TEST_ASSERT_EQUAL( pdPASS, xResult ); in test_FreeRTOS_inet_pton4()
89 xResult = FreeRTOS_inet_pton4( pucValidString2, &ulIPAddress ); in test_FreeRTOS_inet_pton4()
90 TEST_ASSERT_EQUAL( pdPASS, xResult ); in test_FreeRTOS_inet_pton4()
94 xResult = FreeRTOS_inet_pton4( pucValidString3, &ulIPAddress ); in test_FreeRTOS_inet_pton4()
95 TEST_ASSERT_EQUAL( pdPASS, xResult ); in test_FreeRTOS_inet_pton4()
99 xResult = FreeRTOS_inet_pton4( pucValidString4, &ulIPAddress ); in test_FreeRTOS_inet_pton4()
100 TEST_ASSERT_EQUAL( pdPASS, xResult ); in test_FreeRTOS_inet_pton4()
104 xResult = FreeRTOS_inet_pton4( pucValidString5, &ulIPAddress ); in test_FreeRTOS_inet_pton4()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv4_Sockets.c | 76 BaseType_t xResult = pdPASS; in FreeRTOS_inet_pton4() local
94 xResult = pdFAIL; in FreeRTOS_inet_pton4()
119 xResult = pdFAIL; in FreeRTOS_inet_pton4()
125 xResult = pdFAIL; in FreeRTOS_inet_pton4()
136 xResult = pdFAIL; in FreeRTOS_inet_pton4()
146 if( xResult == pdFAIL ) in FreeRTOS_inet_pton4()
156 xResult = pdFAIL; in FreeRTOS_inet_pton4()
162 xResult = pdFAIL; in FreeRTOS_inet_pton4()
165 if( xResult == pdPASS ) in FreeRTOS_inet_pton4()
175 if( xResult == pdPASS ) in FreeRTOS_inet_pton4()
[all …]
|
| D | FreeRTOS_TCP_IP_IPv4.c | 112 BaseType_t xResult = pdPASS; in xProcessReceivedTCPPacket_IPV4() local
131 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV4()
171 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV4()
198 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV4()
209 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV4()
253 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV4()
262 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV4()
279 if( xResult != pdFAIL ) in xProcessReceivedTCPPacket_IPV4()
299 xResult = prvCheckOptions( pxSocket, pxNetworkBuffer ); in xProcessReceivedTCPPacket_IPV4()
302 if( xResult != pdFAIL ) in xProcessReceivedTCPPacket_IPV4()
[all …]
|
| D | FreeRTOS_TCP_IP_IPv6.c | 121 BaseType_t xResult = pdPASS; in xProcessReceivedTCPPacket_IPV6() local
126 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV6()
164 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV6()
191 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV6()
202 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV6()
246 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV6()
255 xResult = pdFAIL; in xProcessReceivedTCPPacket_IPV6()
272 if( xResult != pdFAIL ) in xProcessReceivedTCPPacket_IPV6()
292 xResult = prvCheckOptions( pxSocket, pxNetworkBuffer ); in xProcessReceivedTCPPacket_IPV6()
295 if( xResult != pdFAIL ) in xProcessReceivedTCPPacket_IPV6()
[all …]
|
| D | FreeRTOS_BitConfig.c | 61 BaseType_t xResult = pdFALSE; in xBitConfig_init() local
79 xResult = pdTRUE; in xBitConfig_init()
86 return xResult; in xBitConfig_init()
103 BaseType_t xResult = pdFALSE; in xBitConfig_read_uc() local
120 xResult = pdTRUE; in xBitConfig_read_uc()
128 return xResult; in xBitConfig_read_uc()
145 BaseType_t xResult = pdFALSE; in pucBitConfig_peek_last_index_uc() local
154 xResult = pdTRUE; in pucBitConfig_peek_last_index_uc()
163 return xResult; in pucBitConfig_peek_last_index_uc()
|
| D | FreeRTOS_IPv6.c | 92 BaseType_t xResult = pdFAIL; in xCheckIPv6SizeFields() local
191 xResult = pdPASS; in xCheckIPv6SizeFields()
194 if( xResult != pdPASS ) in xCheckIPv6SizeFields()
200 return xResult; in xCheckIPv6SizeFields()
367 BaseType_t xResult; in xCompareIPv6_Address() local
378 xResult = memcmp( &( pxLeft->ucBytes[ 13 ] ), &( pxRight->ucBytes[ 13 ] ), 3 ); in xCompareIPv6_Address()
384 xResult = 0; in xCompareIPv6_Address()
393 xResult = 0; in xCompareIPv6_Address()
399 xResult = 0; in xCompareIPv6_Address()
403 xResult = memcmp( pxLeft->ucBytes, pxRight->ucBytes, ipSIZE_OF_IPv6_ADDRESS ); in xCompareIPv6_Address()
[all …]
|
| D | FreeRTOS_TCP_IP.c | 154 BaseType_t xResult = 0; in xTCPSocketCheck() local
236 xResult = prvTCPStatusAgeCheck( pxSocket ); in xTCPSocketCheck()
241 return xResult; in xTCPSocketCheck()
598 …BaseType_t xResult = xTCPWindowTxHasData( &pxSocket->u.xTCP.xTCPWindow, pxSocket->u.xTCP.ulWindowS… in prvTCPNextTimeout() local
602 if( xResult != ( BaseType_t ) 0 ) in prvTCPNextTimeout()
655 BaseType_t xResult; in xProcessReceivedTCPPacket() local
664 xResult = xProcessReceivedTCPPacket_IPV4( pxDescriptor ); in xProcessReceivedTCPPacket()
670 xResult = xProcessReceivedTCPPacket_IPV6( pxDescriptor ); in xProcessReceivedTCPPacket()
676 xResult = pdFAIL; in xProcessReceivedTCPPacket()
680 return xResult; in xProcessReceivedTCPPacket()
[all …]
|
| D | FreeRTOS_Sockets.c | 2003 BaseType_t xResult; in FreeRTOS_closesocket() local
2014 xResult = 0; in FreeRTOS_closesocket()
2050 xResult = -1; in FreeRTOS_closesocket()
2054 xResult = 1; in FreeRTOS_closesocket()
2058 return xResult; in FreeRTOS_closesocket()
3178 BaseType_t xResult; in FreeRTOS_inet_pton() local
3185 xResult = FreeRTOS_inet_pton4( pcSource, pvDestination ); in FreeRTOS_inet_pton()
3191 xResult = FreeRTOS_inet_pton6( pcSource, pvDestination ); in FreeRTOS_inet_pton()
3196 xResult = -pdFREERTOS_ERRNO_EAFNOSUPPORT; in FreeRTOS_inet_pton()
3200 return xResult; in FreeRTOS_inet_pton()
[all …]
|
| D | FreeRTOS_IPv6_Sockets.c | 569 BaseType_t xResult; in FreeRTOS_inet_pton6() local
580 xResult = 0; in FreeRTOS_inet_pton6()
585 xResult = 1; in FreeRTOS_inet_pton6()
627 xResult = prv_inet_pton6_add_nibble( &( xSet ), ucNew, ch ); in FreeRTOS_inet_pton6()
629 if( xResult == pdFALSE ) in FreeRTOS_inet_pton6()
644 xResult = 1; in FreeRTOS_inet_pton6()
648 if( xResult != 1 ) in FreeRTOS_inet_pton6()
654 return xResult; in FreeRTOS_inet_pton6()
|
| D | FreeRTOS_TCP_State_Handling.c | 98 BaseType_t xResult; in prvTCPSocketIsActive() local
107 xResult = pdFALSE; in prvTCPSocketIsActive()
118 xResult = pdTRUE; in prvTCPSocketIsActive()
122 return xResult; in prvTCPSocketIsActive()
143 BaseType_t xResult; in prvTCPStatusAgeCheck() local
153 xResult = pdFALSE; in prvTCPStatusAgeCheck()
160 xResult = pdFALSE; in prvTCPStatusAgeCheck()
175 xResult = pdTRUE; in prvTCPStatusAgeCheck()
179 if( xResult != pdFALSE ) in prvTCPStatusAgeCheck()
209 xResult = -1; in prvTCPStatusAgeCheck()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_BitConfig/ |
| D | FreeRTOS_BitConfig_utest.c | 64 BaseType_t xResult = pdFALSE; in test_xBitConfig_init_Fail() local
70 xResult = xBitConfig_init( pxConfig, pucData, uxSize ); in test_xBitConfig_init_Fail()
72 TEST_ASSERT_EQUAL( pdFALSE, xResult ); in test_xBitConfig_init_Fail()
88 BaseType_t xResult = pdFALSE; in test_xBitConfig_init_pucDataNull() local
97 xResult = xBitConfig_init( pxConfig, pucData, uxSize ); in test_xBitConfig_init_pucDataNull()
99 TEST_ASSERT_EQUAL( pdTRUE, xResult ); in test_xBitConfig_init_pucDataNull()
117 BaseType_t xResult = pdFALSE; in test_xBitConfig_init_HappyPath() local
126 xResult = xBitConfig_init( &xConfig, ucData, uxSize ); in test_xBitConfig_init_HappyPath()
128 TEST_ASSERT_EQUAL( pdTRUE, xResult ); in test_xBitConfig_init_HappyPath()
142 BaseType_t xResult = pdFALSE; in test_xBitConfig_read_uc_xHasError() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetworkInterface.c | 87 BaseType_t xResult = pdTRUE; in xNetworkInterfaceInitialise() local
111 xResult = pdFALSE; in xNetworkInterfaceInitialise()
122 xResult = pdFALSE; in xNetworkInterfaceInitialise()
133 if( ( xResult == pdTRUE ) && ( xReceiveTaskCreated == pdFALSE ) ) in xNetworkInterfaceInitialise()
135 xResult = xTaskCreate( vNetifReceiveTask, "NetRX", in xNetworkInterfaceInitialise()
141 if( xResult == pdPASS ) in xNetworkInterfaceInitialise()
148 if( xResult != pdTRUE ) in xNetworkInterfaceInitialise()
165 pxDriverCtx->xInterfaceState = xResult; in xNetworkInterfaceInitialise()
168 return xResult; in xNetworkInterfaceInitialise()
278 BaseType_t xResult = pdFALSE; in xNetworkInterfaceOutput() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 67 BaseType_t xResult; in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse() local
72 __CPROVER_assume( xResult == pdPASS || xResult == pdFAIL ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse()
73 return xResult; in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse()
79 BaseType_t xResult; in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint() local
83 __CPROVER_assume( xResult == pdPASS || xResult == pdFAIL ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint()
84 return xResult; in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c | 153 BaseType_t xResult; in test_FreeRTOS_connect_SocketValuesNULL_UseTempDestinationAddress() local
163 xResult = FreeRTOS_connect( &xSocket, &xAddress, xAddressLength ); in test_FreeRTOS_connect_SocketValuesNULL_UseTempDestinationAddress()
165 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EBADF, xResult ); in test_FreeRTOS_connect_SocketValuesNULL_UseTempDestinationAddress()
174 BaseType_t xResult; in test_FreeRTOS_connect_SocketValuesNULL_IPv6DestinationAddress() local
184 xResult = FreeRTOS_connect( &xSocket, &xAddress, xAddressLength ); in test_FreeRTOS_connect_SocketValuesNULL_IPv6DestinationAddress()
186 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EBADF, xResult ); in test_FreeRTOS_connect_SocketValuesNULL_IPv6DestinationAddress()
195 BaseType_t xResult; in test_FreeRTOS_connect_SocketValuesNULL_IPv4DestinationAddress() local
205 xResult = FreeRTOS_connect( &xSocket, &xAddress, xAddressLength ); in test_FreeRTOS_connect_SocketValuesNULL_IPv4DestinationAddress()
207 TEST_ASSERT_EQUAL( -pdFREERTOS_ERRNO_EBADF, xResult ); in test_FreeRTOS_connect_SocketValuesNULL_IPv4DestinationAddress()
216 BaseType_t xResult; in test_FreeRTOS_connect_SocketValuesNULL_NullDestinationAddress() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_utest.c | 71 BaseType_t xResult; in test_xCheckLoopback_NullNetworkBuffer() local
74 xResult = xCheckLoopback( NULL, pdFALSE ); in test_xCheckLoopback_NullNetworkBuffer()
75 TEST_ASSERT_EQUAL( pdFALSE, xResult ); in test_xCheckLoopback_NullNetworkBuffer()
84 BaseType_t xResult; in test_xCheckLoopback_DataLengthTooSmall() local
95 xResult = xCheckLoopback( pxNetworkBuffer, pdFALSE ); in test_xCheckLoopback_DataLengthTooSmall()
96 TEST_ASSERT_EQUAL( pdFALSE, xResult ); in test_xCheckLoopback_DataLengthTooSmall()
105 BaseType_t xResult; in test_xCheckLoopback_IncorrectFrameType() local
116 xResult = xCheckLoopback( pxNetworkBuffer, pdFALSE ); in test_xCheckLoopback_IncorrectFrameType()
117 TEST_ASSERT_EQUAL( pdFALSE, xResult ); in test_xCheckLoopback_IncorrectFrameType()
126 BaseType_t xResult; in test_xCheckLoopback_NullEndPoint() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/ |
| D | FreeRTOS_Sockets_IPv6_utest.c | 1070 BaseType_t xResult; in test_FreeRTOS_inet_pton6() local
1073 xResult = FreeRTOS_inet_pton6( pcSource, uIPv6AddressDstn ); in test_FreeRTOS_inet_pton6()
1075 TEST_ASSERT_EQUAL( 1, xResult ); in test_FreeRTOS_inet_pton6()
1087 BaseType_t xResult; in test_FreeRTOS_inet_pton6_DoubleColonInput() local
1090 xResult = FreeRTOS_inet_pton6( pcSource, uIPv6AddressDstn ); in test_FreeRTOS_inet_pton6_DoubleColonInput()
1092 TEST_ASSERT_EQUAL( 1, xResult ); in test_FreeRTOS_inet_pton6_DoubleColonInput()
1104 BaseType_t xResult; in test_FreeRTOS_inet_pton6_StartsWithSingleColon() local
1107 xResult = FreeRTOS_inet_pton6( pcSource, uIPv6AddressDstn ); in test_FreeRTOS_inet_pton6_StartsWithSingleColon()
1109 TEST_ASSERT_EQUAL( 1, xResult ); in test_FreeRTOS_inet_pton6_StartsWithSingleColon()
1121 BaseType_t xResult; in test_FreeRTOS_inet_pton6_NoShortHand() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/IsDHCPSocket/ |
| D | IsDHCPSocket_harness.c | 46 BaseType_t xResult; in harness() local
48 xResult = xIsDHCPSocket( xSocket ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/ |
| D | DHCPv6Process_PassReplyToEndPoint_harness.c | 68 BaseType_t xResult; in harness() local
99 …xResult = __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint( pxNetworkEndP… in harness()
103 …xResult = __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint( pxNetworkEndP… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 803 BaseType_t xResult = 0; in test_prvStoreRxData_Happy_Path() local
818 xResult = prvStoreRxData( pxSocket, in test_prvStoreRxData_Happy_Path()
823 TEST_ASSERT_EQUAL( 0, xResult ); in test_prvStoreRxData_Happy_Path()
844 BaseType_t xResult = 0; in test_prvStoreRxData_Wrong_State() local
850 xResult = prvStoreRxData( pxSocket, in test_prvStoreRxData_Wrong_State()
855 TEST_ASSERT_EQUAL( 0, xResult ); in test_prvStoreRxData_Wrong_State()
885 BaseType_t xResult = 0; in test_prvStoreRxData_Zero_Length() local
891 xResult = prvStoreRxData( pxSocket, in test_prvStoreRxData_Zero_Length()
896 TEST_ASSERT_EQUAL( 0, xResult ); in test_prvStoreRxData_Zero_Length()
918 BaseType_t xResult = 0; in test_prvStoreRxData_Null_RxStream() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
| D | FreeRTOS_TCP_State_Handling_utest.c | 94 BaseType_t xResult; in test_prvTCPSocketIsActive() local
100 xResult = prvTCPSocketIsActive( Status ); in test_prvTCPSocketIsActive()
101 TEST_ASSERT_EQUAL( pdFALSE, xResult ); in test_prvTCPSocketIsActive()
104 xResult = prvTCPSocketIsActive( Status ); in test_prvTCPSocketIsActive()
105 TEST_ASSERT_EQUAL( pdFALSE, xResult ); in test_prvTCPSocketIsActive()
108 xResult = prvTCPSocketIsActive( Status ); in test_prvTCPSocketIsActive()
109 TEST_ASSERT_EQUAL( pdFALSE, xResult ); in test_prvTCPSocketIsActive()
112 xResult = prvTCPSocketIsActive( Status ); in test_prvTCPSocketIsActive()
113 TEST_ASSERT_EQUAL( pdFALSE, xResult ); in test_prvTCPSocketIsActive()
116 xResult = prvTCPSocketIsActive( Status ); in test_prvTCPSocketIsActive()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/ |
| D | NetworkInterface.c | 251 BaseType_t xResult; in xGetPhyLinkStatus() local
256 xResult = pdTRUE; in xGetPhyLinkStatus()
260 xResult = pdFALSE; in xGetPhyLinkStatus()
263 return xResult; in xGetPhyLinkStatus()
530 BaseType_t xResult = 0; in prvEMACHandlerTask() local
581 xResult = prvEMACRxPoll(); in prvEMACHandlerTask()
626 if( xResult > 0 ) in prvEMACHandlerTask()
632 xResult = 0; in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | NetworkInterface.c | 456 BaseType_t xResult; in xSTM32F_NetworkInterfaceInitialise() local
627 xResult = pdFAIL; in xSTM32F_NetworkInterfaceInitialise()
634 xResult = pdPASS; in xSTM32F_NetworkInterfaceInitialise()
641 xResult = pdFAIL; in xSTM32F_NetworkInterfaceInitialise()
647 return xResult; in xSTM32F_NetworkInterfaceInitialise()
1244 BaseType_t xResult; in xSTM32_PhyRead() local
1253 xResult = 0; in xSTM32_PhyRead()
1257 xResult = -1; in xSTM32_PhyRead()
1260 return xResult; in xSTM32_PhyRead()
1269 BaseType_t xResult; in xSTM32_PhyWrite() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | x_emacpsif_hw.c | 127 int xResult; in emacps_check_errors() local
133 xResult = 0; in emacps_check_errors()
137 xResult = 1; in emacps_check_errors()
144 return xResult; in emacps_check_errors()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/ |
| D | x_emacpsif_hw.c | 130 int xResult; in emacps_check_errors() local
136 xResult = 0; in emacps_check_errors()
140 xResult = 1; in emacps_check_errors()
147 return xResult; in emacps_check_errors()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ksz8851snl/ |
| D | NetworkInterface.c | 376 BaseType_t xResult; in xGetPhyLinkStatus() local
381 xResult = pdTRUE; in xGetPhyLinkStatus()
385 xResult = pdFALSE; in xGetPhyLinkStatus()
388 return xResult; in xGetPhyLinkStatus()
395 BaseType_t xResult = pdFALSE; in xNetworkInterfaceOutput() local
435 xResult = pdTRUE; in xNetworkInterfaceOutput()
438 if( ( xResult == pdFALSE ) && ( bReleaseAfterSend != pdFALSE ) ) in xNetworkInterfaceOutput()
443 return xResult; in xNetworkInterfaceOutput()
1223 BaseType_t xResult = 0; in prvEMACHandlerTask() local
1289 xResult = prvEMACRxPoll(); in prvEMACHandlerTask()
[all …]
|
