Home
last modified time | relevance | path

Searched refs:lTCPWindowTxAdd (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/
DFreeRTOS_Tiny_TCP_utest.c137 lResult = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_length_gt_zero()
160 lResult = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_length_eq_zero()
186 lResult = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_length_eq_zero_with_logging()
212 lResult = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_length_gt_maxlen()
239 lResult = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_length_gt_maxlen_with_logging()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DREADME.md13 * lTCPWindowTxAdd
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c1057 lDone = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_nothing_to_do()
1079 lDone = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_null_txSegment()
1102 lDone = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_true_outstanding_bits()
1126 lDone = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_data_length_zero()
1153 lDone = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_bytes_left_gt_zero()
1185 lDone = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_len_gt_max_len()
1212 lDone = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_lBytsLeft_gt_zero_pxSegment_NULL()
1258 lDone = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_lBytsLeft_gt_zero_data_length_gt_maxlen()
1305 lDone = lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_lBytesLeft_gt_zero_data_length_lt_maxlen()
1328 catch_assert( lTCPWindowTxAdd( &xWindow, in test_lTCPWindowTxAdd_assert_null()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_WIN.h196 int32_t lTCPWindowTxAdd( TCPWindow_t * pxWindow,
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_Tiny_TCP.c185 int32_t lTCPWindowTxAdd( TCPWindow_t * pxWindow, in lTCPWindowTxAdd() function
DFreeRTOS_TCP_Transmission.c1044 lCount = lTCPWindowTxAdd( &pxSocket->u.xTCP.xTCPWindow, in prvTCPAddTxData()
DFreeRTOS_TCP_WIN.c1415 int32_t lTCPWindowTxAdd( TCPWindow_t * pxWindow, in lTCPWindowTxAdd() function