Home
last modified time | relevance | path

Searched full:group (Results 1 – 20 of 20) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/
Dcompute_patch.py86 defines.add(matched.group(1))
99 match.group(1) in defines and
111 """.format(target=match.group(1), original=full_def))
213 self.assertEqual(match1.group(1),
215 self.assertEqual(match2.group(1),
217 self.assertEqual(match3.group(1), "configASSERT")
218 self.assertEqual(match4.group(1), "configASSERT")
219 self.assertEqual(match5.group(1), "configASSERT")
236 self.assertEqual(match1.group(1), "configASSERT")
237 self.assertEqual(match2.group(1), "ipconfigMAX_ARP_RETRANSMISSIONS")
[all …]
DFreeRTOSConfig.h82 /* Event group related definitions. */
/FreeRTOS-Plus-TCP-v4.0.0/.github/workflows/
Duncrustify.yml45 echo "::group::Install Uncrustify"
52 echo "::group::Uncrustify Check"
60 echo "::group::Push changes to upstream repository"
/FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/
Dlayout.xml168 <!-- Layout definition for a group page -->
169 <group>
216 </group>
Dconfig.doxyfile410 # member in the group (if any) for the other members of the group. By default
411 # all members of a group must be documented explicitly.
416 # If one adds a struct or class to a group and this option is enabled, then also
417 # any nested class or struct is added to the same group. By default this option
424 # (for instance a group of public functions) to be put as a subgroup of that
433 # are shown inside the group in which they are included (e.g. using \ingroup)
446 # namespace, or group documentation), provided this scope is documented. If set
687 # of group names into alphabetical order. If set to NO the group names will
1567 # The TOC_EXPAND flag can be set to YES to add extra items for group members to
1699 # doxygen will group on one line in the generated HTML documentation.
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c125 "The event group cannot be NULL" ); in xEventGroupSetBits()
154 /* The event group cannot be NULL. */ in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
Drun-cbmc-proofs.py197 "--tags", "stats-group:safety check",
225 "--tags", "stats-group:coverage computation",
250 "--tags", "stats-group:report generation",
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IPv6.c54 /** @brief Get the group ID field in IPv6 multicast address. */
254 * @brief Get the group ID and stored into IPv6_Address_t.
256 * @param[in] pxIPv6Address The multicast address to filter group ID.
257 * @param[out] pxReturnGroupID The buffer to store group ID.
DFreeRTOS_Sockets.c6042 /* Socket does not belong to this select group. */ in vSocketSelect()
6071 * group. */ in vSocketSelect()
6114 * and/or if event group is invalid/not created, then, -pdFREERTOS_ERRNO_EINVAL
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c42 /* Non deterministically add an event group. */ in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/
DFreeRTOS_UDP_IPv6_utest.c603 * @brief To validate the flow that all flows (list/event group/select/queue/DHCP) are all pass.
670 …* @brief To validate the flow that all flows except for event group (list/select/queue/DHCP) are a…
734 …* @brief To validate the flow that all flows except for select bit (list/event group/queue/DHCP) a…
799 …* @brief To validate the flow that all flows except for select set (list/event group/queue/DHCP) a…
861 …* @brief To validate the flow that all flows except for semaphore (list/event group/select/DHCP) a…
923 …* @brief To validate the flow that all flows except for DHCP (list/event group/select/queue) are a…
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/
DFreeRTOS_UDP_IPv4_utest.c840 * @brief To validate the flow that all flows (list/event group/select/queue/DHCP) are all pass.
911 …* @brief To validate the flow that all flows except for event group (list/select/queue/DHCP) are a…
979 …* @brief To validate the flow that all flows except for select bit (list/event group/queue/DHCP) a…
1047 …* @brief To validate the flow that all flows except for select set (list/event group/queue/DHCP) a…
1113 …* @brief To validate the flow that all flows except for semaphore (list/event group/select/DHCP) a…
1179 …* @brief To validate the flow that all flows except for DHCP (list/event group/select/queue) are a…
/FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Common/
DFreeRTOSConfig.h75 /* Event group related definitions. */
/FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Header_Self_Contain/
DFreeRTOSConfig.h75 /* Event group related definitions. */
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h678 EventGroupHandle_t xEventGroup; /**< The event group for this socket. */
875 /** @brief Event group for the socket select function.
886 SocketSelect_t * pxSocketSet; /**< The event group for the socket select functionality. */
DFreeRTOSIPConfigDefaults.h1021 * in the event group, and both will try to reset this bit.
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c127 * @brief Creation of socket when event group creation fails.
391 * @brief Creation of socket-set when event group creation fails.
3385 * @brief Event group is present for the socket being signalled.
3407 * @brief Select group is present for the socket being called.
3445 /* Event group must be non-NULL. */ in test_FreeRTOS_SignalSocketFromISR_catchAsserts()
DFreeRTOS_Sockets_privates_utest.c912 * @brief Closing unbound socket having a NULL event group with unknown protocol.
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC18xx/
DNetworkInterface.c846 /* RX group interrupt(s). */ in NETWORK_IRQHandler()
855 /* TX group interrupt(s). */ in NETWORK_IRQHandler()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/
DNetworkInterface_eth.c501 /* create command group */ in StartInitMac()