From: rtrimana <rtrimana@uci.edu>
Date: Wed, 10 Jun 2020 16:39:04 +0000 (-0700)
Subject: Committing main.jpf.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=37a78390e068b24e9e12b6292b4b8852955b0f0f;p=jpf-core.git

Committing main.jpf.
---

diff --git a/main.jpf b/main.jpf
index 7a22a41..0293eb9 100644
--- a/main.jpf
+++ b/main.jpf
@@ -5,9 +5,9 @@ target = main
 #listener=gov.nasa.jpf.listener.StateReducer
 #listener=gov.nasa.jpf.listener.StateReducerOld
 #listener=gov.nasa.jpf.listener.VariableConflictTracker,gov.nasa.jpf.listener.StateReducer
-listener=gov.nasa.jpf.listener.ConflictTrackerOld
+#listener=gov.nasa.jpf.listener.ConflictTrackerOld
 #listener=gov.nasa.jpf.listener.DPORStateReducer
-#listener=gov.nasa.jpf.listener.DPORStateReducer,gov.nasa.jpf.listener.ConflictTrackerOld
+listener=gov.nasa.jpf.listener.DPORStateReducer,gov.nasa.jpf.listener.ConflictTrackerOld
 
 # Potentially conflicting variables
 # Alarms