--program source/tot_info.c
--prefix preprocessed
--compiler-command ./compile.sh __COMPILER_NAME__ __EXE_NAME__ __SOURCE_NAME__ __COMPILER_OPTIONS__
--compiler-opts -lm
--test-command ./test.sh __TEST_NAME__
--pos-tests 964
--neg-tests 88
--allow-coverage-fail
--describe-machine 
--seed 0
--rep-cache default.cache
--fault-scheme weight
--search pd-explore
--skip-failed-sanity-tests 
--fault-file pd-weight
--ignore-dead-code 
--ignore-untyped-returns 
--promut 1
--ignore-standard-headers 
--pd-mutp 0
--ignore-string-equiv-fixes 
--popsize 400
--sanity yes
--fix-scheme uniform
--swapp 0
--ignore-equiv-appends 
