Generating input

act expects, as input, a directory of memalloy comparator C output. Specifically, it wants the following:

• a C/ directory containing *.c files;
• a litmus/ directory containing, for each X.c in the above, a corresponding X.litmus.

Recent versions of the dev branch of memalloy produce the format act needs. An example invocation that gives useful output is ./comparator -arch C -violates models/c11_lahav.cat -satisfies models/c11_normws.cat -events 4 -iter.