5 echo ' run-batch-mode <random seed>'
10 echo 'Please supply the initial random seed. (e.g. 9090)'
25 X=errinj-diff-ranges.tmp
33 trycommand "run-normal.sh $F"
35 for (( i=$1;i<max;i++))
39 echo "### make normal"
40 trycommand "make normal"
41 trycommand "make cleanerror"
43 trycommand "make error INV_ERROR_PROB=10000000 RANDOMSEED=$i"
45 trycommand "run-error-batchmode.sh $F $H"
46 diff normal.txt error.txt > $D
49 -e 's/\(.*\),\(.*\)c.*/\1/' \
50 -e 's/\(.*\)c.*/\1/' \
51 -e 's/\(.*\)a.*/\1/' \
54 awk 'NR==1;END{print}' $X > $T
55 awk 'NR==1{s=$0;getline;e=$0;if(s==e) print "NO DIFF";else print s"\n"e}' $T >> $H