A demo program running on Windows to demonstrate generated litmus tests.
Primary LanguageCGNU General Public License v3.0GPL-3.0