To run all the tests, run ./run-tests.sh.

Notes:

split-gso.json - Basic test of splitgso

simpadd0.json - Basic test of simpadd0

split-fn.json - Basic test of split-fn

split-fn2.json - Variant of split-fn.json that uses "preprocess-args" (simple form: list of strings)

split-fn3.json - Variant of split-fn.json that uses "preprocess-args" (more complex form: map from filenames to lists of strings)

input-files/ - Directory containing input .c files for all tests
