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

   1 #!/bin/bash
   2 MP3Playere.bin focus.mp3 > error.txt
   3
   4 grep "SSJAVA: Injecting error" error.txt
   5
   6 mp3samples2plotData.sh error.txt