5 echo ' run-batch-mode <random seed>'
10 echo 'Please supply the initial random seed. (e.g. 9090)'
24 X=errinj-diff-ranges.tmp
29 trycommand "make clean"
30 echo "### make normal"
31 trycommand "make normal"
33 trycommand "run-normal.sh"
37 for (( i=$1;i<max;i++))
41 trycommand "make cleanerror"
43 trycommand "make error INV_ERROR_PROB=100000000 RANDOMSEED=$i"
45 trycommand "run-error-batchmode.sh $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 s}' $T >> $H