--program digits.c
--compiler-opts -lm
--fault-scheme weight
--search pd-explore
--seed 0
--skip-failed-sanity-tests
--fault-file pd-weight
--ignore-dead-code
--ignore-untyped-returns
--promut 1
--ignore-standard-headers
--describe-machine
--pd-mutp 0
--ignore-string-equiv-fixes
--popsize 400
--sanity yes
--fix-scheme uniform
--swapp 0
--ignore-equiv-appends
--neg-tests 14
--pos-tests 2
