test

The test command is act's main compiler tester. It runs multiple compilers, across multiple machines, over multiple input litmus tests.

Input modes

act test can take input in two ways:

• as one or more C litmus tests, with act delitmusifying each test itself;
• as a directory of Memalloy results, with act taking Memalloy's own C output directly.

The first mode is the default; to use the second, pass -memalloy MEMALLOY_DIR instead of the usual filenames at the end of the command.

Selecting compilers and machines

act test accepts filtering predicates as the main way to select which compilers and machines to use.