Searched full:exhaustive (Results 1 – 25 of 44) sorted by relevance
12
30 must not rely on this list of states being exhaustive and56 must not rely on this list of states being exhaustive and
42 exhaustive search was 1444 code structures (852 for length/literals44 exhaustive search). The true maximum is not known, but the value
4 complements classical exhaustive verification techniques (such as model
20 exhaustive verification techniques (such as model checking and
109 /* we do an exhaustive search rather than terminating in getMNP_single()205 /* we do an exhaustive search rather than terminating in getMNP_double()
73 #. This list is not exhaustive; ioctls may return other error codes.
88 #. This list is not exhaustive; ioctls may return other error codes.
22 /* This is not an exhaustive list */
20 /* This is not an exhaustive list */
21 synchronization effort between repositories and exhaustive validation. In the
138 * FIXME: This may not be an exhaustive list of DECStations/Servers! in prom_identify_arch()
33 Note that the descriptions here are not exhaustive. There are other
185 it is next to impossible to build an exhaustive list of the hardware
97 * This defines a list of common color spaces. This list isn't exhaustive and
84 A73 (this list is not exhaustive).
6 complements classical exhaustive verification techniques (such as *model
234 The following is not an exhaustive list, but a very good starting point:
27 important items, but is far from exhaustive; if you see a different way to
156 * See the documentation of @atomic_commit for an exhaustive list of262 * This list is exhaustive. Specifically this hook is not allowed to
470 very similar. For reference, here comes a non-exhaustive list of specific
36 exhaustive, and do not form part of our licenses.
149 * exhaustive search of all siglaned events.746 * exhaustive search of signaled events. in kfd_signal_event_interrupt()
9 intended to be exhaustive. It should be read in conjunction with the SVE
579 WARN(1, "Non-exhaustive parsing of packet header lead to unknown packet type!\n"); in wg_packet_receive()
81 * may work with the multiport, so this may not be an exhaustive list!