From: rtrimana <rtrimana@uci.edu>
Date: Mon, 22 Jun 2020 02:53:09 +0000 (-0700)
Subject: Commenting out a line that causes a lot of loops; let the exclusion trace continue... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=7c97a7b30262cabaa42c67e060e63e624f86a631

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

diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducer.java b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index 13061d8..743d7be 100644
--- 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
-    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