-
Notifications
You must be signed in to change notification settings - Fork 1
C Explain
Matt Windsor edited this page Feb 4, 2019
·
1 revision
The c explain command allows inspection of various aspects of a C file or C litmus test.
$ act c explain [FLAGS] [-litmus] path/to/c/litmus/file.litmus
$ act c explain [FLAGS] [-c] path/to/c/file.c
Currently, this command just reads in a C (or C/Litmus) file, tries to convert it to act's subset, and then prints it back out.
By default, act decides whether its input is C or C/Litmus by checking the file extension. To override this, use -c or -litmus.