Lines Matching refs:output

185 The output is the result of something similar to a full state-space
212 Another important part of this output is shown in lines 2-5, repeated here:
226 The rest of the output is not normally needed, either due to irrelevance
242 by tooling that manages litmus tests and their output.  This tooling is
370 This section covers extracting debug output from herd7, emulating
379 By default, the herd7 state output includes all variables mentioned
412 The herd7 output is as follows:
428 (This output indicates that CPUs are permitted to "snoop their own
433 But the herd7 output shows only the two variables mentioned in the
466 The herd7 output then displays the values of all the variables:
657 all executions would be filtered out at line 23.  However, the output