decouple ssjava code gen to prevent crashes from the analysis, so we can turn it...

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 019e7e401fec55f4ddf33ee21300c2fca6d18bfa..8ac20190f1b54a9400814f8f6daf6f1fff41b3b0 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -364,16 +364,26 @@ public class Main {
         state.KEEP_RG_FOR_ALL_PROGRAM_POINTS=true;
       } else if (option.equals("-nostalltr")) {
         state.NOSTALLTR = true;
+
       } else if (option.equals("-ssjava")) {
         state.SSJAVA = true;
+        state.SSJAVA_GENCODE_PREVENT_CRASHES = true;
+
       } else if (option.equals("-ssjavadebug")) {
         state.SSJAVADEBUG = true;
 
       } else if( option.equals( "-ssjava-inject-error" ) ) {
+        state.SSJAVA_GENCODE_PREVENT_CRASHES = true;
         state.SSJAVA_INJECT_ERROR   = true;
         state.SSJAVA_INV_ERROR_PROB = Integer.parseInt( args[++i] );
         state.SSJAVA_ERROR_SEED     = Integer.parseInt( args[++i] );
 
+        // special case, if the inverse prob is 0, turn off errors
+        if( state.SSJAVA_INV_ERROR_PROB == 0 ) {
+          state.SSJAVA_INJECT_ERROR = false;
+        }
+
+
       }else if (option.equals("-printlinenum")) {
         state.LINENUM=true;
       } else if (option.equals("-help")) {