Searched refs:xWindow (Results 1 – 4 of 4) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
| D | FreeRTOS_Tiny_TCP_utest.c | 76 TCPWindow_t xWindow; in test_lTCPWindowRxCheck_diff_seq_numbers() local
79 xWindow.rx.ulCurrentSequenceNumber = ulSequenceNumber + 1; in test_lTCPWindowRxCheck_diff_seq_numbers()
81 lReturn = lTCPWindowRxCheck( &xWindow, ulSequenceNumber, in test_lTCPWindowRxCheck_diff_seq_numbers()
94 TCPWindow_t xWindow; in test_lTCPWindowRxCheck_space_lt_length() local
97 xWindow.rx.ulCurrentSequenceNumber = ulSequenceNumber; in test_lTCPWindowRxCheck_space_lt_length()
99 lReturn = lTCPWindowRxCheck( &xWindow, ulSequenceNumber, in test_lTCPWindowRxCheck_space_lt_length()
112 TCPWindow_t xWindow; in test_lTCPWindowRxCheck_seq_num_eq() local
115 xWindow.rx.ulCurrentSequenceNumber = ulSequenceNumber; in test_lTCPWindowRxCheck_seq_num_eq()
117 lReturn = lTCPWindowRxCheck( &xWindow, ulSequenceNumber, in test_lTCPWindowRxCheck_seq_num_eq()
127 TCPWindow_t xWindow = { 0 }; in test_lTCPWindowTxAdd_length_gt_zero() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/ |
| D | FreeRTOS_TCP_WIN_utest.c | 133 TCPWindow_t xWindow = { 0 }; in test_xTCPWindowRxEmpty_empty_list() local
137 xRet = xTCPWindowRxEmpty( &xWindow ); in test_xTCPWindowRxEmpty_empty_list()
145 TCPWindow_t xWindow = { 0 }; in test_xTCPWindowRxEmpty_greater_sequence() local
147 xWindow.rx.ulCurrentSequenceNumber = 1; in test_xTCPWindowRxEmpty_greater_sequence()
148 xWindow.rx.ulHighestSequenceNumber = 3; in test_xTCPWindowRxEmpty_greater_sequence()
152 xRet = xTCPWindowRxEmpty( &xWindow ); in test_xTCPWindowRxEmpty_greater_sequence()
160 TCPWindow_t xWindow = { 0 }; in test_xTCPWindowRxEmpty_smaller_sequence() local
162 xWindow.rx.ulCurrentSequenceNumber = 2; in test_xTCPWindowRxEmpty_smaller_sequence()
163 xWindow.rx.ulHighestSequenceNumber = 1; in test_xTCPWindowRxEmpty_smaller_sequence()
167 xRet = xTCPWindowRxEmpty( &xWindow ); in test_xTCPWindowRxEmpty_smaller_sequence()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/ |
| D | vTCPWindowDestroy_harness.c | 25 TCPWindow_t xWindow; in harness() local
31 vListInitialise( &xWindow.xRxSegments ); in harness()
32 vListInitialise( &xWindow.xTxSegments ); in harness()
42 __CPROVER_file_local_FreeRTOS_TCP_WIN_c_vListInsertGeneric( &xWindow.xRxSegments, in harness()
43 … &( xRxSegmentListItem.xSegmentItem ), &xWindow.xRxSegments.xListEnd ); in harness()
54 __CPROVER_file_local_FreeRTOS_TCP_WIN_c_vListInsertGeneric( &xWindow.xTxSegments, in harness()
55 … &( xTxSegmentListItem.xSegmentItem ), &xWindow.xTxSegments.xListEnd ); in harness()
61 vTCPWindowDestroy( &xWindow ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 19 void vTCPWindowDestroy( TCPWindow_t const * xWindow ) in vTCPWindowDestroy() argument
21 __CPROVER_assert( xWindow != NULL, "xWindow cannot be NULL" ); in vTCPWindowDestroy()
|
