Robust/src/Benchmarks/SSJava/MP3Decoder/run-batch-mode.sh

   1 #!/bin/bash
   2 trycommand () {
   3   $1
   4   if [[ ! $? ]] ; then
   5     echo "FAILED: $1"
   6     exit
   7   fi
   8 }
   9
  10 F=114.mp3
  11 H=errinj-history.txt
  12 D=errinj-diff.tmp
  13 X=errinj-diff-ranges.tmp
  14 T=errinj-range.tmp
  15
  16 trycommand "rm $H"
  17
  18 for (( i=0;i<100;i++))
  19 do
  20   echo 'idx' $i >> $H
  21   trycommand "rm $X"
  22   echo "### make normal"
  23   trycommand "make normal"
  24   trycommand "make cleanerror"
  25   echo "### make error"
  26   trycommand "make error INV_ERROR_PROB=10000000 RANDOMSEED=90$i"
  27   echo "### run normal"
  28   trycommand "run-normal.sh $F"
  29   echo "### run error"
  30   trycommand "run-error-batchmode.sh $F $H"
  31   diff normal.txt error.txt > $D
  32   sed \
  33   -e '/^[^0-9]/ d' \
  34   -e  's/\(.*\),\(.*\)c.*/\1/' \
  35   -e  's/\(.*\)c.*/\1/' \
  36   -e  's/\(.*\)a.*/\1/' \
  37   $D >> $X
  38   if [[ -s $D ]] ; then
  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
  41   else
  42     echo 'NO DIFF' >> $H
  43   fi
  44 done
  45
  46