fixed a bug where retrieving the context contribution of a call site returns an empty...

[IRC.git] / Robust / src / IR / State.java

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index e12612dc72ca73e12b1e0d0a3c1600d9aa7270cc..c29b0aa87cf3d89e93a3f3491d90c6273c6f4d60 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -67,14 +67,23 @@ public class State {
   public int OWNERSHIPDEBUGCALLCOUNT=0;
   public String OWNERSHIPDEBUGCALLEE=null;
   public String OWNERSHIPDEBUGCALLER=null;
+
   
   public boolean DISJOINT=false;
+
+  public int DISJOINTALLOCDEPTH=1;
   public boolean DISJOINTRELEASEMODE=false;
   public boolean DISJOINTDETERMINISM=false;
-  public int DISJOINTALLOCDEPTH=3;
+
+  public boolean DISJOINTDVISITSTACK=true;
+  public boolean DISJOINTDVISITPQUE=false;
+  public boolean DISJOINTDVISITSTACKEESONTOP=false;
+
   public boolean DISJOINTWRITEDOTS=false;
   public boolean DISJOINTWRITEALL=false;
   public boolean DISJOINTWRITEIHMS=false;
+  public boolean DISJOINTWRITEINITCONTEXTS=false;
+
   public String DISJOINTALIASFILE=null;
   public boolean DISJOINTALIASTAB=false;
 
@@ -89,12 +98,9 @@ public class State {
   public int DISJOINTSNAPNUMVISITS=0;
   public boolean DISJOINTSNAPSTOPAFTER=false;
 
-  public boolean DISJOINTDVISITSTACK=true;
-  public boolean DISJOINTDVISITPQUE=false;
-  public boolean DISJOINTDVISITSTACKEESONTOP=false;
-
   public boolean DISJOINTDEBUGSCHEDULING=false;
 
+
   public boolean OPTIONAL=false;
   public boolean ARRAYPAD=false;
   public boolean THREAD=false;