Lines Matching refs:tests
12 the state space of small litmus tests.
66 explore the state space of small litmus tests. Documentation describing
68 tests is available in tools/memory-model/Documentation/litmus-tests.txt.
70 Example litmus tests may be found in the Linux-kernel source tree:
72 tools/memory-model/litmus-tests/
73 Documentation/litmus-tests/
75 Several thousand more example litmus tests are available here:
81 Documentation describing litmus tests and now to use them may be found
84 tools/memory-model/Documentation/litmus-tests.txt
92 $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
116 people focusing on writing, understanding, and running LKMM litmus tests.
129 $ klitmus7 -o mymodules litmus-tests/SB+fencembonceonces.litmus
157 running LKMM litmus tests.
170 Documentation/litmus-tests.txt
172 of the litmus tests that LKMM can evaluate.
211 litmus-tests
212 Directory containing a few representative litmus tests, which
213 are listed in litmus-tests/README. A great deal more litmus
214 tests are available at https://github.com/paulmckrcu/litmus.