rems-project/system-litmus-harness

test harness for systems-concurrency litmus tests, as a QEMU guest

CNOASSERTION