Litmus tests for qemu TCG
To generate litmus tests, first download the latest version of the litmus tool from: http://diy.inria.fr/sources/index.html. Then run:
$ litmus -exit true -mach overdrive01.cfg -o run_x86/ x86/*
$ litmus -exit true -mach overdrive01.cfg -o run_aarch64/ aarch64/*
You will then have a Makefile and a run script in the folder to run the genearated litmus tests.
Additional litmus tests can be downloaded from here: http://www.cl.cam.ac.uk/~sf502/popl16/pop/src-arm/