have a debug flag

[IRC.git] / Robust / src / buildscript

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 8a7b7a9a156ba3d36a1aa99a7b5f060539dcba47..54eec4bdb0e4cc2ae4ac7db8df71fad3a7d00fa7 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -129,6 +129,7 @@ echo -ssjava enables SSJava
 echo -ssjavadebug reports interim results
 echo -ssjavainfer location type inference
 echo -ssjava-induce-error N S where 1/N is the probability to error at any deref or divide and S is a random seed
+echo -ssjava-infer-naive-writedots write lattice dots generated by the naive approach
 echo
 echo Other options
 echo -jni enable jni
@@ -707,6 +708,11 @@ then
 USE_SSJAVA_INFER_CLASSPATH=true
 JAVAOPTS="$JAVAOPTS -ssjavainfer"
 
+elif [[ $1 = '-ssjava-infer-naive-writedots' ]]
+then
+USE_SSJAVA_INFER_CLASSPATH=true
+JAVAOPTS="$JAVAOPTS -ssjava-infer-naive-writedots"
+
 elif [[ $1 = '-ssjava-inject-error' ]]
 then
 USE_SSJAVA_CLASSPATH=true
@@ -916,7 +922,7 @@ elif $USE_SSJAVA_CLASSPATH
   if $USE_SSJAVA_INFER_CLASSPATH
     then
     JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/SSJavaInfer"
-  elif ! $USE_SSJAVA_INFER_NOCLASSPATH
+  elif ! $USE_SSJAVA_NOCLASSPATH
     then
     JAVAOPTS="$JAVAOPTS -classlibrary $ROBUSTROOT/ClassLibrary/SSJava"  
   fi