--program source/tcas.c
--prefix preprocessed
--compiler-command ./compile.sh __COMPILER_NAME__ __EXE_NAME__ __SOURCE_NAME__ __COMPILER_OPTIONS__
--test-command ./test.sh __TEST_NAME__
--pos-tests 1599
--neg-tests 9
--allow-coverage-fail
--describe-machine
--seed 0
--rep-cache default.cache
