automate trying different error probabilities and seeds
[IRC.git] / 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