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

   1 #!/bin/bash
   2
   3 usage () {
   4   echo 'usage:'
   5   echo '  run-batch-mode <random seed>'
   6 }
   7
   8 if [[ -z $1 ]] ; then
   9   usage
  10   echo 'Please supply the initial random seed. (e.g. 9090)'
  11   exit
  12 fi
  13
  14 trycommand () {
  15   $1
  16   if [[ ! $? ]] ; then
  17     echo "FAILED: $1"
  18     exit
  19   fi
  20 }
  21
  22 F=114.mp3
  23 H=errinj-history-$1.txt
  24 D=errinj-diff.tmp
  25 X=errinj-diff-ranges.tmp
  26 T=errinj-range.tmp
  27
  28 trycommand "rm $H"
  29
  30 max=$(($1+1))
  31
  32 echo "### make normal"
  33 trycommand "make normal"
  34 echo "### run normal"
  35 trycommand "run-normal.sh $F"
  36
  37 for (( i=$1;i<max;i++))
  38 do
  39   echo 'idx' $i >> $H
  40   trycommand "rm $X"
  41   trycommand "make cleanerror"
  42   echo "### make error"
  43   trycommand "make error INV_ERROR_PROB=10000000 RANDOMSEED=$i"
  44   echo "### run error"
  45   trycommand "run-error-batchmode.sh $F $H"
  46   diff normal.txt error.txt > $D
  47   sed \
  48   -e '/^[^0-9]/ d' \
  49   -e  's/\(.*\),\(.*\)c.*/\1\n\2/' \
  50   -e  's/\(.*\)c.*/\1/' \
  51   -e  's/\(.*\)a.*/\1/' \
  52   $D >> $X
  53   if [[ -s $D ]] ; then
  54     awk 'NR==1;END{print}' $X >> $H
  55     #awk 'NR==1{s=$0;getline;e=$0;if(s==e) print s;else print s"\n"e}' $T >> $H
  56   else
  57     echo 'NO DIFF' >> $H
  58   fi
  59 done
  60
  61