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.
33 Compare output from two different runs of the same litmus tests,
40 Run all litmus tests having no more than the specified number
42 in .litmus.out files.
46 Given a .litmus file and its .litmus.out herd7 output, check the
47 .litmus.out file against the .litmus file's "Result:" comment to
53 For all new or updated litmus tests having no more than the
55 and record the results in .litmus.out files.
64 Run the litmus tests whose absolute pathnames are provided one