Commenting out a line that causes a lot of loops; let the exclusion trace continue...

[jpf-core.git] / src / main / gov / nasa / jpf / listener / DPORStateReducer.java

diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index 13061d8aa03d5559ba740e64bd8fb5079c561d21..743d7bedd2536aac19bcf5f7256063276770fa7a 100644 (file)
--- a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
+++ b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
@@ -1165,7 +1165,8 @@ public class DPORStateReducer extends ListenerAdapter {
               pushedExecution, pushedChoice, currRWSet, visited);
     }
     // Remove the transition after being explored
               pushedExecution, pushedChoice, currRWSet, visited);
     }
     // Remove the transition after being explored

-    visited.remove(confTrans);
+    // TODO: Seems to cause a lot of loops---commented out for now
+    //visited.remove(confTrans);

   }
 
   // --- Functions related to the reachability analysis when there is a state match
   }
 
   // --- Functions related to the reachability analysis when there is a state match