Robust/src/Benchmarks/SSJava/MP3Decoder/run-error.sh

   1 #!/bin/bash
   2
   3 if [[ -z $1 ]] ; then
   4   echo 'Please supply an mp3 file name.'
   5   exit
   6 fi
   7
   8 MP3Playere.bin $1 > error.txt
   9
  10 grep "SSJAVA: Injecting error" error.txt
  11
  12 mp3samples2plotData.sh error.txt