13 X=errinj-diff-ranges.tmp
18 for (( i=0;i<100;i++))
22 echo "### make normal"
23 trycommand "make normal"
24 trycommand "make cleanerror"
26 trycommand "make error INV_ERROR_PROB=10000000 RANDOMSEED=90$i"
28 trycommand "run-normal.sh $F"
30 trycommand "run-error-batchmode.sh $F $H"
31 diff normal.txt error.txt > $D
34 -e 's/\(.*\),\(.*\)c.*/\1/' \
35 -e 's/\(.*\)c.*/\1/' \
36 -e 's/\(.*\)a.*/\1/' \
39 awk 'NR==1;END{print}' $X > $T
40 awk 'NR==1{s=$0;getline;e=$0;if(s==e) print "NO DIFF";else print s"\n"e}' $T >> $H