exploring error injection space

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
index e53e63ecbc4288e15cae3c2ccfe9dc9c8817a479..989f86d16f5c0a8be93e21456f2b42f964234ac5 100644 (file)
--- 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 (file)
index 0000000..03af2f8
--- /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 ff58ff93e1a497a292dac60fba858d10db65d0b1..a916af0dda4fd161b16a80dfb99203084f56f960 100755 (executable)
--- 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