Starting implementation for definite reachability analysis

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

diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index e5799435657ce856fe10bf9a89b13925cc640b05..9538ea455c696cd51113121c86d0b74c60953b0a 100644 (file)
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -130,6 +130,8 @@ public class State {
 
   public boolean POINTSTO_CHECK_V_RUNTIME=false;
 
+  public boolean DO_DEFINITE_REACH_ANALYSIS=false;
+
 
   public boolean OOOJAVA=false;
   public boolean OOODEBUG=false;