Corrected reach graph issue with SESE BLOCKS ONLY. There seems to be an error with...

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

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 9e9dada1c6a429575458eefdd0e77ef2501c25b2..764e606d95f42c23753e4b53e991c76d125fd199 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -337,12 +337,15 @@ public class Main {
 
       } else if (option.equals("-ooodebug") ){ 
        state.OOODEBUG  = true;
-      } else if (option.equals("-rcr")){
+      } else if (option.equals("-rcr")){      
        state.RCR = true;
+       state.KEEP_RG_FOR_ALL_PROGRAM_POINTS=true;
       } else if (option.equals("-rcr_debug")){
        state.RCR_DEBUG = true;
+       state.KEEP_RG_FOR_ALL_PROGRAM_POINTS=true;
       } else if (option.equals("-rcr_debug_verbose")){
   state.RCR_DEBUG_VERBOSE = true;
+  state.KEEP_RG_FOR_ALL_PROGRAM_POINTS=true;
       } else if (option.equals("-nostalltr")){
        state.NOSTALLTR = true;     
       }else if (option.equals("-help")) {