From 37a78390e068b24e9e12b6292b4b8852955b0f0f Mon Sep 17 00:00:00 2001 From: rtrimana Date: Wed, 10 Jun 2020 09:39:04 -0700 Subject: [PATCH] Committing main.jpf. --- main.jpf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.34.1