--program checksum.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 10
--pos-tests 6
--sanity yes
