Robust/src/Benchmarks/SSJava/MP3Decoder/plot-normal-vs-error.sh

   1 #!/bin/bash
   2
   3 D=nve-diff.tmp
   4 diff normal.txt error.txt > $D
   5
   6 X=nve-diff-ranges.tmp
   7 echo '0 1' >  $X
   8 echo '0 0' >> $X
   9
  10 sed \
  11 -e '/^[^0-9]/ d' \
  12 -e 's/\(.*\),\(.*\)c.*/\1 0\n\1 1\n\2 1\n\2 0/' \
  13 -e 's/\(.*\)c.*/\1 0\n\1 1\n\1 1\n\1 0/' \
  14 $D >> $X
  15
  16 if [[ -s $D ]] ; then
  17   echo 'Normal and Error files differ.'
  18 else
  19   echo 'NO DIFF!'
  20 fi
  21
  22 #gnuplot -persist nve.cmds