Lines Matching refs:tests
12 the state space of small litmus tests.
67 explore the state space of small litmus tests. Documentation describing
69 tests is available in tools/memory-model/Documentation/litmus-tests.txt.
71 Example litmus tests may be found in the Linux-kernel source tree:
73 tools/memory-model/litmus-tests/
74 Documentation/litmus-tests/
76 Several thousand more example litmus tests are available here:
82 Documentation describing litmus tests and now to use them may be found
85 tools/memory-model/Documentation/litmus-tests.txt
93 $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
117 people focusing on writing, understanding, and running LKMM litmus tests.
130 $ klitmus7 -o mymodules litmus-tests/SB+fencembonceonces.litmus
158 running LKMM litmus tests.
194 litmus-tests
195 Directory containing a few representative litmus tests, which
196 are listed in litmus-tests/README. A great deal more litmus
197 tests are available at https://github.com/paulmckrcu/litmus.
199 By "representative", it means the one in the litmus-tests
205 2) orthogonal, there should be no two litmus tests
208 the litmus tests to use the patterns on their own