changes and data/eval files for new evaluations

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / run-error-batchmode.sh

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh
index 79041c414632e68c6660f629a42de8d08352ec4c..10dd56d28d3377fcd25d1b8e0003890b22c7dd1c 100755 (executable)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh
@@ -9,7 +9,8 @@ MP3Playere.bin $1 > error.txt
 
 grep "SSJAVA: Injecting error" error.txt
 
-awk '{if($1=="SSJAVA:" && $2=="Injecting"){print "inj",x};{x=$1} }' error.txt >> $2 
+#awk '{if($1=="SSJAVA:" && $2=="Injecting"){print "inj",x};{x=$1} }' error.txt >> $2 
+awk '{if($1=="SSJAVA:" && $2=="Injecting"){getline; print "inj",$0} }' error.txt >> $2 
 
 X=converterTempFile