From 7c97a7b30262cabaa42c67e060e63e624f86a631 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Sun, 21 Jun 2020 19:53:09 -0700 Subject: [PATCH 1/1] Commenting out a line that causes a lot of loops; let the exclusion trace continue to build up. --- src/main/gov/nasa/jpf/listener/DPORStateReducer.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.34.1