···7979 https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git/tree/CodeSamples/formal/herd8080 https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git/tree/CodeSamples/formal/litmus81818282-Documentation describing litmus tests and now to use them may be found8282+Documentation describing litmus tests and how to use them may be found8383here:84848585 tools/memory-model/Documentation/litmus-tests.txt