5 echo ' observe-new-error-seed <inv prob> <random seed> '
11 echo 'Please supply an inverse probability. (e.g. 1000)'
17 echo 'Please supply a random seed.'
29 trycommand "make cleanerror"
30 trycommand "make error INV_ERROR_PROB=$1 RANDOMSEED=$2"
31 trycommand "run-error-batchmode.sh output.tmp"
32 trycommand "cat output.tmp"
33 trycommand "rm output.tmp"