Lines Matching refs:litmus
10 Run all litmus tests in the litmus-tests directory, checking
16 Run all litmus tests in the https://github.com/paulmckrcu/litmus
23 Run all litmus tests having .litmus.out files from previous
29 Check a single litmus test against its "Result:" expected result.
34 Check the specified list of litmus tests against their "Result:"
41 Compare output from two different runs of the same litmus tests,
48 Run all litmus tests having no more than the specified number
50 in .litmus.out files.
54 Given a .litmus file and its herd7 output, check the output file
55 against the .litmus file's "Result:" comment to judge whether
61 For all new or updated litmus tests having no more than the
63 and record the results in .litmus.out files.
72 Run the litmus tests whose absolute pathnames are provided one
110 to LKMM introduces a new primitive for which litmus tests already existed.