Robust/src/Benchmarks/SSJava/JavaNator/run-error-batchmode.sh

   1 #!/bin/bash
   2
   3 RobotMaine.bin > error.txt
   4
   5 grep "SSJAVA: Injecting error" error.txt
   6
   7 awk '{if($1=="SSJAVA:" && $2=="Injecting"){print "inj",x};{x=$1} }' error.txt >> $1
   8
   9 X=converterTempFile
  10
  11 sed -e '/^SSJAVA:/ d'  error.txt > $X
  12 #sed -e '/^SSJAVA:/ d' -e '1,/+++/ d' error.txt > $X
  13
  14 mv $X error.txt