defreach experiment

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

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 8ac20190f1b54a9400814f8f6daf6f1fff41b3b0..1277bafacd79f0528c14524338dbd81af4c33d02 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -295,6 +295,10 @@ public class Main {
         state.DO_DEFINITE_REACH_ANALYSIS = true;
 
 
+      } else if( option.equals("-count-visits") ) {
+        state.DISJOINT_COUNT_VISITS = true;
+
+
       } else if (option.equals("-optional"))
         state.OPTIONAL=true;
       else if (option.equals("-optimize"))