adjustments to stack-based method scheduling, debug controls, a micro benchmark,...

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

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index 97ee6e81041ae3f11ed48f010634ff62675d1521..e12612dc72ca73e12b1e0d0a3c1600d9aa7270cc 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -93,6 +93,8 @@ public class State {
   public boolean DISJOINTDVISITPQUE=false;
   public boolean DISJOINTDVISITSTACKEESONTOP=false;
 
+  public boolean DISJOINTDEBUGSCHEDULING=false;
+
   public boolean OPTIONAL=false;
   public boolean ARRAYPAD=false;
   public boolean THREAD=false;