Home
last modified time | relevance | path

Searched refs:bits (Results 1 – 22 of 22) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c99 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_Not_Ready()
119 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
137 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPMakeSurePrepared_Ready()
154 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPSendPacket_Syn_State()
177 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
196 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPSendPacket_Syn_State_Not_Prepared()
216 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPSendPacket_Other_State_Zero_To_Send()
246 pxSocket->u.xTCP.bits.bWinChange = pdFALSE; in test_prvTCPSendPacket_Other_State_Something_To_Send()
247 pxSocket->u.xTCP.bits.bSendKeepAlive = pdFALSE; in test_prvTCPSendPacket_Other_State_Something_To_Send()
248 pxSocket->u.xTCP.bits.bUserShutdown = pdFALSE; in test_prvTCPSendPacket_Other_State_Something_To_Send()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c203 pxSocket->u.xTCP.bits.bPassQueued = pdTRUE; in test_prvTCPStatusAgeCheck_Checks_Done_PassQueueBit_True()
233 pxSocket->u.xTCP.bits.bFinSent = pdFALSE; in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
234 pxSocket->u.xTCP.bits.bFinAcked = pdFALSE; in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
264 pxSocket->u.xTCP.bits.bFinSent = pdTRUE; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
265 pxSocket->u.xTCP.bits.bFinAcked = pdTRUE; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
266 pxSocket->u.xTCP.bits.bFinRecv = pdFALSE; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
294 pxSocket->u.xTCP.bits.bFinSent = pdTRUE; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
295 pxSocket->u.xTCP.bits.bFinAcked = pdTRUE; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
296 pxSocket->u.xTCP.bits.bFinRecv = pdTRUE; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
297 pxSocket->u.xTCP.bits.bFinLast = pdFALSE; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c409 xSocket.u.xTCP.bits.bUserShutdown = pdTRUE_UNSIGNED; in test_xTCPSocketCheck_StateeCONNECT_SYN_TxStreamNonNull_UserShutdown()
440 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_prvTCPTouchSocket()
441 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bSendKeepAlive ); in test_prvTCPTouchSocket()
454 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPNextTimeout_ConnSyn_State_Not_Active()
469 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPNextTimeout_ConnSyn_State_Active_Rep0()
484 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPNextTimeout_ConnSyn_State_Active_Rep1()
499 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPNextTimeout_ConnSyn_State_Active_Rep3()
599 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_vTCPStateChange_ClosedState()
600 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bSendKeepAlive ); in test_vTCPStateChange_ClosedState()
629 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_vTCPStateChange_ClosedWaitState_PrvStateSyn()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_State_Handling.c209 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in prvTCPStatusAgeCheck()
259 if( pxSocket->u.xTCP.bits.bFinSent == pdFALSE_UNSIGNED ) in prvTCPHandleFin()
263 pxSocket->u.xTCP.bits.bFinSent = pdTRUE_UNSIGNED; in prvTCPHandleFin()
270 pxSocket->u.xTCP.bits.bFinAcked = pdTRUE_UNSIGNED; in prvTCPHandleFin()
274 if( pxSocket->u.xTCP.bits.bFinAcked == pdFALSE_UNSIGNED ) in prvTCPHandleFin()
287 if( pxSocket->u.xTCP.bits.bFinRecv == pdFALSE_UNSIGNED ) in prvTCPHandleFin()
295 if( pxSocket->u.xTCP.bits.bFinLast == pdFALSE_UNSIGNED ) in prvTCPHandleFin()
451 ( unsigned ) pxSocket->u.xTCP.bits.bWinScaling ) ); in prvHandleSynReceived()
466 if( pxSocket->u.xTCP.bits.bWinScaling == pdFALSE_UNSIGNED ) in prvHandleSynReceived()
584 …if( ( pxSocket->u.xTCP.bits.bFinAccepted != pdFALSE_UNSIGNED ) || ( ( ucTCPFlags & ( uint8_t ) tcp… in prvHandleEstablished()
[all …]
DFreeRTOS_TCP_IP.c185 if( pxSocket->u.xTCP.bits.bUserShutdown == pdFALSE_UNSIGNED ) in xTCPSocketCheck()
279 pxSocket->u.xTCP.bits.bWaitKeepAlive = pdFALSE_UNSIGNED; in prvTCPTouchSocket()
280 pxSocket->u.xTCP.bits.bSendKeepAlive = pdFALSE_UNSIGNED; in prvTCPTouchSocket()
333 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in vTCPStateChange()
336 if( pxSocket->u.xTCP.bits.bReuseSocket == pdFALSE_UNSIGNED ) in vTCPStateChange()
347 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in vTCPStateChange()
377 ( xParent->u.xTCP.bits.bReuseSocket == pdFALSE_UNSIGNED ) ) in vTCPStateChange()
391 pxSocket->u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in vTCPStateChange()
394 pxSocket->u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in vTCPStateChange()
453 if( ( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) || in vTCPStateChange()
[all …]
DFreeRTOS_Tiny_TCP.c266 if( pxSegment->u.bits.bOutstanding != pdFALSE_UNSIGNED ) in ulTCPWindowTxGet()
269 ulMaxTime = ( ( uint32_t ) 1U ) << pxSegment->u.bits.ucTransmitCount; in ulTCPWindowTxGet()
280 pxSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in ulTCPWindowTxGet()
281 pxSegment->u.bits.ucTransmitCount++; in ulTCPWindowTxGet()
382 if( pxSegment->u.bits.bOutstanding != pdFALSE_UNSIGNED ) in xTCPWindowTxHasData()
385 …ulMaxAge = ( ( TickType_t ) 1U << pxSegment->u.bits.ucTransmitCount ) * ( ( uint32_t ) pxWindow->l… in xTCPWindowTxHasData()
DFreeRTOS_TCP_Transmission.c92 if( pxSocket->u.xTCP.bits.bConnPrepared == pdFALSE_UNSIGNED ) in prvTCPMakeSurePrepared()
342 …if( ( pxSocket->u.xTCP.bits.bLowWater != pdFALSE_UNSIGNED ) || ( pxSocket->u.xTCP.bits.bRxStopped … in prvTCPReturnPacket()
378 pxSocket->u.xTCP.bits.bWinChange = pdFALSE_UNSIGNED; in prvTCPReturnPacket()
386 if( pxSocket->u.xTCP.bits.bSendKeepAlive != pdFALSE_UNSIGNED ) in prvTCPReturnPacket()
391 pxSocket->u.xTCP.bits.bSendKeepAlive = pdFALSE_UNSIGNED; in prvTCPReturnPacket()
392 pxSocket->u.xTCP.bits.bWaitKeepAlive = pdTRUE_UNSIGNED; in prvTCPReturnPacket()
684 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE_UNSIGNED; in prvTCPPrepareConnect()
1037 if( pxSocket->u.xTCP.bits.bCloseRequested != pdFALSE_UNSIGNED ) in prvTCPPrepareSend()
1062 pxSocket->u.xTCP.bits.bFinSent = pdTRUE_UNSIGNED; in prvTCPPrepareSend()
1076 if( ( pxSocket->u.xTCP.bits.bUserShutdown != pdFALSE_UNSIGNED ) && in prvTCPPrepareSend()
[all …]
DFreeRTOS_Sockets.c1679 ( ( pxOtherSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) || in prvTCPSetSocketCount()
1680 ( pxOtherSocket->u.xTCP.bits.bPassAccept != pdFALSE_UNSIGNED ) ) ) in prvTCPSetSocketCount()
2056 if( pxTCP->xTCPWindow.u.bits.bHasInit != pdFALSE_UNSIGNED ) in FreeRTOS_setsockopt()
2075 pxSocket->u.xTCP.bits.bReuseSocket = pdTRUE; in FreeRTOS_setsockopt()
2079 pxSocket->u.xTCP.bits.bReuseSocket = pdFALSE; in FreeRTOS_setsockopt()
2094 pxSocket->u.xTCP.bits.bCloseAfterSend = pdTRUE; in FreeRTOS_setsockopt()
2098 pxSocket->u.xTCP.bits.bCloseAfterSend = pdFALSE; in FreeRTOS_setsockopt()
2113 pxSocket->u.xTCP.xTCPWindow.u.bits.bSendFullSize = pdTRUE; in FreeRTOS_setsockopt()
2117 pxSocket->u.xTCP.xTCPWindow.u.bits.bSendFullSize = pdFALSE; in FreeRTOS_setsockopt()
2120 … if( ( pxSocket->u.xTCP.xTCPWindow.u.bits.bSendFullSize == pdFALSE_UNSIGNED ) && in FreeRTOS_setsockopt()
[all …]
DFreeRTOS_TCP_WIN.c565 pxSegment->u.bits.bIsForRx = ( xIsForRx != 0 ) ? 1U : 0U; in xTCPWindowNew()
830 pxWindow->u.bits.bHasInit = pdTRUE_UNSIGNED; in vTCPWindowInit()
1426 ( pxSegment->u.bits.bOutstanding == pdFALSE_UNSIGNED ) && in lTCPWindowTxAdd()
1619 ulMaxAge = ( ( uint32_t ) 1U << pxSegment->u.bits.ucTransmitCount ); in xTCPWindowTxHasData()
1646 else if( ( pxWindow->u.bits.bSendFullSize != pdFALSE_UNSIGNED ) && in xTCPWindowTxHasData()
1683 ulMaxTime = ( ( uint32_t ) 1U ) << pxSegment->u.bits.ucTransmitCount; in pxTCPWindowTx_GetWaitQueue()
1691 pxSegment->u.bits.ucDupAckCount = ( uint8_t ) pdFALSE_UNSIGNED; in pxTCPWindowTx_GetWaitQueue()
1737 else if( ( pxWindow->u.bits.bSendFullSize != pdFALSE_UNSIGNED ) && in pxTCPWindowTx_GetTXQueue()
1850 pxSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in ulTCPWindowTxGet()
1854 ( pxSegment->u.bits.ucTransmitCount )++; in ulTCPWindowTxGet()
[all …]
DFreeRTOS_TCP_Reception.c241 pxSocket->u.xTCP.bits.bWinScaling = pdTRUE_UNSIGNED; in prvSingleStepTCPHeaderOptions()
291 pxSocket->u.xTCP.bits.bMssChange = pdTRUE_UNSIGNED; in prvSingleStepTCPHeaderOptions()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Tiny_TCP/
DFreeRTOS_Tiny_TCP_utest.c275 xSegment.u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_false()
294 xSegment.u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true()
295 xSegment.u.bits.ucTransmitCount = 3; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true()
319 xSegment.u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true_timer_ne_expired()
320 xSegment.u.bits.ucTransmitCount = 3; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true_timer_ne_expired()
366 xWindow.xTxSegment.u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_xTCPWindowTxHasData()
397 xWindow.xTxSegment.u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_xTCPWindowTxHasData_outstanding_bits()
398 xWindow.xTxSegment.u.bits.ucTransmitCount = 2; in test_xTCPWindowTxHasData_outstanding_bits()
419 xWindow.xTxSegment.u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_xTCPWindowTxHasData_outstanding_bits_2()
420 xWindow.xTxSegment.u.bits.ucTransmitCount = 2; in test_xTCPWindowTxHasData_outstanding_bits_2()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c71 xRetSocket->u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in pxTCPSocketLookup()
75 xRetSocket->u.xTCP.bits.bReuseSocket = pdFALSE_UNSIGNED; in pxTCPSocketLookup()
80 xRetSocket->u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in pxTCPSocketLookup()
81 xRetSocket->u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c236 xPeerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_NotReuseSocket()
248 TEST_ASSERT_EQUAL( pdFALSE, xPeerSocket.u.xTCP.bits.bPassAccept ); in test_FreeRTOS_accept_NotReuseSocket()
270 xServerSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket()
272 xServerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket()
281 TEST_ASSERT_EQUAL( pdFALSE, xServerSocket.u.xTCP.bits.bPassAccept ); in test_FreeRTOS_accept_ReuseSocket()
303 xServerSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_NULLAddress()
305 xServerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_NULLAddress()
314 TEST_ASSERT_EQUAL( pdFALSE, xServerSocket.u.xTCP.bits.bPassAccept ); in test_FreeRTOS_accept_ReuseSocket_NULLAddress()
334 xServerSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_Timeout()
336 xServerSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_Timeout()
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c1883 xSocket.u.xTCP.xTCPWindow.u.bits.bHasInit = pdFALSE; in test_FreeRTOS_setsockopt_WinPropsTCPWinNotInit()
1913 xSocket.u.xTCP.xTCPWindow.u.bits.bHasInit = pdTRUE; in test_FreeRTOS_setsockopt_WinPropsTCPWinInit()
1967 TEST_ASSERT_EQUAL( pdTRUE, xSocket.u.xTCP.bits.bReuseSocket ); in test_FreeRTOS_setsockopt_ReUseListenSock_Set()
1985 xSocket.u.xTCP.bits.bReuseSocket = pdTRUE; in test_FreeRTOS_setsockopt_ReUseListenSock_Reset()
1990 TEST_ASSERT_EQUAL( pdFALSE, xSocket.u.xTCP.bits.bReuseSocket ); in test_FreeRTOS_setsockopt_ReUseListenSock_Reset()
2033 TEST_ASSERT_EQUAL( pdTRUE, xSocket.u.xTCP.bits.bCloseAfterSend ); in test_FreeRTOS_setsockopt_SockClose_Set()
2051 xSocket.u.xTCP.bits.bReuseSocket = pdTRUE; in test_FreeRTOS_setsockopt_SockClose_Reset()
2056 TEST_ASSERT_EQUAL( pdFALSE, xSocket.u.xTCP.bits.bCloseAfterSend ); in test_FreeRTOS_setsockopt_SockClose_Reset()
2099 TEST_ASSERT_EQUAL( pdTRUE, xSocket.u.xTCP.xTCPWindow.u.bits.bSendFullSize ); in test_FreeRTOS_setsockopt_SetFullSize_Set()
2117 xSocket.u.xTCP.bits.bReuseSocket = pdTRUE; in test_FreeRTOS_setsockopt_SetFullSize_Reset_StateIncorrect()
[all …]
DFreeRTOS_Sockets_privates_utest.c1099 xChildSocket.u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren3()
1100 xChildSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren3()
1129 xChildSocket.u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren4()
1130 xChildSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren4()
1159 xChildSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath1()
1160 xChildSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath1()
1200 xChildSocket.u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath2()
1201 xChildSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath2()
1241 xChildSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath3()
1242 xChildSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath3()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c1099 xWindow.pxHeadSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_lTCPWindowTxAdd_true_outstanding_bits()
1123 xWindow.pxHeadSegment->u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_lTCPWindowTxAdd_data_length_zero()
1148 xWindow.pxHeadSegment->u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_lTCPWindowTxAdd_bytes_left_gt_zero()
1181 xWindow.pxHeadSegment->u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_lTCPWindowTxAdd_len_gt_max_len()
1208 xWindow.pxHeadSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_lTCPWindowTxAdd_lBytsLeft_gt_zero_pxSegment_NULL()
1236 xWindow.pxHeadSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_lTCPWindowTxAdd_lBytsLeft_gt_zero_data_length_gt_maxlen()
1282 xWindow.pxHeadSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_lTCPWindowTxAdd_lBytesLeft_gt_zero_data_length_lt_maxlen()
1403 mockSegment.u.bits.ucTransmitCount = 1; in test_xTCPWindowTxHasData_non_null_segment_maxage_lt_age()
1430 mockSegment.u.bits.ucTransmitCount = 7; in test_xTCPWindowTxHasData_non_null_segment_maxAge_gt_age()
1514 xWindow.u.bits.bSendFullSize = pdTRUE_UNSIGNED; in test_xTCPWindowTxHasData_datalength_lt_maxlength()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DFreeRTOS_TCP_IP_DiffConfig_utest.c138 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
163 xSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait()
176 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait()
177 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bSendKeepAlive ); in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c81 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassQueued == pdFALSE_UNSIGNED ); in harness()
82 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassAccept == pdFALSE_UNSIGNED ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_TCP_WIN.h67 } bits; member
105 } bits; /**< party which opens the connection */ member
DFreeRTOS_IP_Private.h572 } bits; /**< The bits structure */ member
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/xilinx_ultrascale/
Dreadme.md1 NetworkInterface for Xilinx' UltraScale+, running on Cortex A53, 64-bits
/FreeRTOS-Plus-TCP-v3.1.0/
DMISRA.md22 process by utilizing the full length of registers (32-bits). After this,