implemented stack method visit but with callees on top, something crazy is happening...

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

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index 065c72c7f9695c6755e4b281741899d2b01daee7..3248253fae67076cb6e4c8637fcb99c96d7b3f5d 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -85,6 +85,7 @@ public class State {
   public boolean DISJOINTSNAPSTOPAFTER=false;
   public boolean DISJOINTDVISITSTACK=true;
   public boolean DISJOINTDVISITPQUE=false;
+  public boolean DISJOINTDVISITSTACKEESONTOP=false;
 
   public boolean OPTIONAL=false;
   public boolean ARRAYPAD=false;