--program grade.c
--compiler-opts -lm
--fault-scheme uniform
--search pd-oracle
--skip-failed-sanity-tests
--sanity no
--seed 0
--allow-coverage-fail
--fix-scheme uniform
--no-rep-cache
--describe-machine
--neg-tests 14
--pos-tests 4
--sanity yes
