From ca7b45b30d2e52d59e65eea4779c783e90b67679 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Thu, 27 Oct 2011 17:39:48 +0000
Subject: [PATCH] exploring error injection space

---
 Robust/src/Benchmarks/SSJava/MP3Decoder/makefile     |  1 +
 .../src/Benchmarks/SSJava/MP3Decoder/nve2latex.cmds  |  9 +++++++++
 .../SSJava/MP3Decoder/plot-normal-vs-error.sh        | 12 +-----------
 3 files changed, 11 insertions(+), 11 deletions(-)
 create mode 100644 Robust/src/Benchmarks/SSJava/MP3Decoder/nve2latex.cmds

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
index e53e63ec..989f86d1 100644
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
@@ -40,6 +40,7 @@ cleanerror:
 clean:
 	rm -f  $(PROGRAM)s.bin $(PROGRAM)n.bin $(PROGRAM)e.bin
 	rm -fr ssj norm injerr
+	rm -f nve-diff.tmp nve-diff-ranges.tmp
 	rm -f  *~
 	rm -f  *.dot
 	rm -f  *.png
diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/nve2latex.cmds b/Robust/src/Benchmarks/SSJava/MP3Decoder/nve2latex.cmds
new file mode 100644
index 00000000..03af2f85
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/nve2latex.cmds
@@ -0,0 +1,9 @@
+set terminal epslatex input size 2in 1in
+
+set output injectErrorFigA.tex
+plot "normal.txt" with lines, "error.txt" with lines, "nve-diff-ranges.tmp" with steps axes x1y2
+
+set output injectErrorFigB.tex
+plot [10:15] "normal.txt" with lines, "error.txt" with lines, "nve-diff-ranges.tmp" with steps axes x1y2
+
+unset output
diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/plot-normal-vs-error.sh b/Robust/src/Benchmarks/SSJava/MP3Decoder/plot-normal-vs-error.sh
index ff58ff93..a916af0d 100755
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/plot-normal-vs-error.sh
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/plot-normal-vs-error.sh
@@ -7,26 +7,16 @@ X=nve-diff-ranges.tmp
 echo '0 1' >  $X
 echo '0 0' >> $X
 
-#diff normal.txt error.txt | \
-#sed \
-#-e '/^[^0-9]/ d' \
-#-e 's/\(.*\),\(.*\)c.*/\1 0\n\1 1\n\2 1\n\2 0/' \
-#-e 's/\(.*\)c.*/\1 0\n\1 1\n\1 1\n\1 0/' \
-#>> $X
-
 sed \
 -e '/^[^0-9]/ d' \
 -e 's/\(.*\),\(.*\)c.*/\1 0\n\1 1\n\2 1\n\2 0/' \
 -e 's/\(.*\)c.*/\1 0\n\1 1\n\1 1\n\1 0/' \
 $D >> $X
 
-if [[ -s $D ]] 
-then
+if [[ -s $D ]] ; then
   echo 'Normal and Error files differ.'
 else
   echo 'NO DIFF!'
 fi
 
 gnuplot -persist nve.cmds
-
-rm -f $D $X
-- 
2.34.1