This minimal testsuite is an adaptation of the 39 tests found in this paper: https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test6.pdf

This collection of litmus tests aims to provide coverage of the majority of the behavior allowed/disallowed by the RVWMO memory model. For complete coverage, please refer to the RISC-V Litmus Tests repo.

Most tests were generated using diy7. Files in the /conf directory that end with -ext generate more than just the described test.

Tests may have been edited from the generated file to better match the exists() clause from the paper.

Handwritten tests have a note at the top saying such.

If you want to run diy7 to generate the tests associated with a conf file, use a command like this: diy7 -arch RISCV -conf conf/2+2W.conf

herd7 -model riscv.cat tests\@all