Home
last modified time | relevance | path

Searched refs:xEventGroup (Results 1 – 15 of 15) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c67 uint8_t xEventGroup[ sizeof( uintptr_t ) ]; in test_FreeRTOS_socket_TCPv6SocketLowMSS() local
78 xEventGroupCreate_ExpectAndReturn( ( EventGroupHandle_t ) xEventGroup ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
91 TEST_ASSERT_EQUAL( xSocket->xEventGroup, xEventGroup ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c45 pxSocket->xEventGroup = xEventGroupCreate(); in harness()
46 __CPROVER_assume( pxSocket->xEventGroup != NULL ); in harness()
50 pxSocket->xEventGroup = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c118 EventBits_t xEventGroupSetBits( EventGroupHandle_t xEventGroup, in xEventGroupSetBits() argument
124 __CPROVER_assert( xEventGroup != NULL, in xEventGroupSetBits()
166 pxSocket->xEventGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/
DFreeRTOS_UDP_IPv6_utest.c616 EventGroupHandle_t xEventGroup; in test_xProcessReceivedUDPPacket_IPv6_Pass() local
650 xSocket.xEventGroup = xEventGroup; in test_xProcessReceivedUDPPacket_IPv6_Pass()
651 xEventGroupSetBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_Pass()
702 xSocket.xEventGroup = NULL; in test_xProcessReceivedUDPPacket_IPv6_PassNoEventGroup()
747 EventGroupHandle_t xEventGroup; in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectBit() local
767 xSocket.xEventGroup = xEventGroup; in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectBit()
782 xEventGroupSetBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectBit()
812 EventGroupHandle_t xEventGroup; in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectSet() local
831 xSocket.xEventGroup = xEventGroup; in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectSet()
846 xEventGroupSetBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectSet()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c161 uint8_t xEventGroup[ sizeof( uintptr_t ) ]; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() local
172 xEventGroupCreate_ExpectAndReturn( ( EventGroupHandle_t ) xEventGroup ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
186 TEST_ASSERT_EQUAL( xSocket->xEventGroup, xEventGroup ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
207 uint8_t xEventGroup[ sizeof( uintptr_t ) ]; in test_FreeRTOS_socket_TCPSocket() local
218 xEventGroupCreate_ExpectAndReturn( ( EventGroupHandle_t ) xEventGroup ); in test_FreeRTOS_socket_TCPSocket()
231 TEST_ASSERT_EQUAL( xSocket->xEventGroup, xEventGroup ); in test_FreeRTOS_socket_TCPSocket()
252 uint8_t xEventGroup[ sizeof( uintptr_t ) ]; in test_FreeRTOS_socket_UDPSocket() local
263 xEventGroupCreate_ExpectAndReturn( ( EventGroupHandle_t ) xEventGroup ); in test_FreeRTOS_socket_UDPSocket()
274 TEST_ASSERT_EQUAL( xSocket->xEventGroup, xEventGroup ); in test_FreeRTOS_socket_UDPSocket()
291 uint8_t xEventGroup[ sizeof( uintptr_t ) ]; in test_FreeRTOS_socket_UDPSocket_ProtocolDependent() local
[all …]
DFreeRTOS_Sockets_UDP_API_utest.c134 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( EventBits_t ) eSOCKET_INTR, pdTRUE, p… in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
163 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( EventBits_t ) eSOCKET_INTR, pdTRUE, p… in test_FreeRTOS_recvfrom_NonBlocking()
223 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButTimeout()
259 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime()
265 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime()
300 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButInterrupted()
331 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived()
333 …xEventGroupSetBits_ExpectAndReturn( xSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE, pdFALSE… in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived()
379 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
440 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
[all …]
DFreeRTOS_Sockets_stubs.c59 EventBits_t xStubForEventGroupWaitBits( EventGroupHandle_t xEventGroup, in xStubForEventGroupWaitBits() argument
DFreeRTOS_Sockets_TCP_API_utest.c290 …xEventGroupWaitBits_ExpectAndReturn( xServerSocket.xEventGroup, eSOCKET_ACCEPT, pdTRUE, pdFALSE, 0… in test_FreeRTOS_accept_ReuseSocket_Timeout()
444 xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_INTR, pdTRUE, pdFALSE, 0, 0 ); in test_FreeRTOS_recv_EstablishedConnection_NoWait()
500 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | ( EventBits_t ) eSOCKE… in test_FreeRTOS_recv_Interrupted()
529 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | ( EventBits_t ) eSOCKE… in test_FreeRTOS_recv_Interrupted1()
531 xEventGroupSetBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | eSOCKET_CLOSED, 0 ); in test_FreeRTOS_recv_Interrupted1()
560 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | ( EventBits_t ) eSOCKE… in test_FreeRTOS_recv_RxStreamNULL()
690 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | ( EventBits_t ) eSOCKE… in test_FreeRTOS_recv_12BytesArriveLater()
1047 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_SEND | eSOCKET_CLOSED, pdTRUE, p… in test_FreeRTOS_send_LessSpaceInStreamBuffer_Timeout()
1090 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_SEND | eSOCKET_CLOSED, pdTRUE, p… in test_FreeRTOS_send_LessSpaceInStreamBuffer_EventuallySpaceAvailable()
1134 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_SEND | eSOCKET_CLOSED, pdTRUE, p… in test_FreeRTOS_send_MultipleIterationsAndNoSuccess()
[all …]
DFreeRTOS_Sockets_privates_utest.c523 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, ( EventBits_t ) eSOCKET_BOUND, pdTRUE, p… in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess()
902 vEventGroupDelete_Expect( xSocket.xEventGroup ); in test_vSocketClose_UnknownProtocol_NotBound()
921 xSocket.xEventGroup = NULL; in test_vSocketClose_UnknownProtocol_NotBound_EventGroupNULL()
943 xSocket.xEventGroup = NULL; in test_vSocketClose_TCP_EverythingNonNULL()
976 xSocket.xEventGroup = NULL; in test_vSocketClose_TCP_LastAckMessageNonNULL()
1009 xSocket.xEventGroup = NULL; in test_vSocketClose_TCP_AllFieldsNonNULL()
1042 xSocket.xEventGroup = NULL; in test_vSocketClose_UDP_NoWaitingPackets()
1068 xSocket.xEventGroup = NULL; in test_vSocketClose_UDP_SomeWaitingPackets()
1243 xChildSocket.xEventGroup = NULL; in test_prvTCPSetSocketCount_ListeningSock_HappyPath1()
1284 xChildSocket.xEventGroup = NULL; in test_prvTCPSetSocketCount_ListeningSock_HappyPath2()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/
DFreeRTOS_UDP_IPv4_utest.c854 EventGroupHandle_t xEventGroup; in test_xProcessReceivedUDPPacket_IPv4_Pass() local
891 xSocket.xEventGroup = xEventGroup; in test_xProcessReceivedUDPPacket_IPv4_Pass()
892 xEventGroupSetBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_Pass()
948 xSocket.xEventGroup = NULL; in test_xProcessReceivedUDPPacket_IPv4_PassNoEventGroup()
993 EventGroupHandle_t xEventGroup; in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectBit() local
1016 xSocket.xEventGroup = xEventGroup; in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectBit()
1030 xEventGroupSetBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectBit()
1061 EventGroupHandle_t xEventGroup; in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectSet() local
1084 xSocket.xEventGroup = xEventGroup; in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectSet()
1098 xEventGroupSetBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectSet()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/
Dfreertos_kernel_api.c74 EventBits_t xEventGroupSetBits( EventGroupHandle_t xEventGroup, in xEventGroupSetBits() argument
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_Sockets.c622 EventGroupHandle_t xEventGroup; in FreeRTOS_socket() local
687 xEventGroup = xEventGroupCreate(); in FreeRTOS_socket()
689 if( xEventGroup == NULL ) in FreeRTOS_socket()
704 pxSocket->xEventGroup = xEventGroup; in FreeRTOS_socket()
1115 … xEventBits = xEventGroupWaitBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_INTR, in prvRecvFromWaitForPacket()
1137 …xEventBits = xEventGroupWaitBits( pxSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | ( (… in prvRecvFromWaitForPacket()
1147 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in prvRecvFromWaitForPacket()
1766 …( void ) xEventGroupWaitBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_BOUND, pdTRUE /*xClea… in FreeRTOS_bind()
2147 if( pxSocket->xEventGroup != NULL ) in vSocketClose()
2149 vEventGroupDelete( pxSocket->xEventGroup ); in vSocketClose()
[all …]
DFreeRTOS_UDP_IPv4.c459 if( pxSocket->xEventGroup != NULL ) in xProcessReceivedUDPPacket_IPv4()
461 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in xProcessReceivedUDPPacket_IPv4()
DFreeRTOS_UDP_IPv6.c550 if( pxSocket->xEventGroup != NULL ) in xProcessReceivedUDPPacket_IPv6()
552 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in xProcessReceivedUDPPacket_IPv6()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h678 EventGroupHandle_t xEventGroup; /**< The event group for this socket. */ member