From fe469f1f483c9d9fa6513c4391425553dc7cf605 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Mon, 13 Apr 2020 13:16:26 -0700 Subject: [PATCH] Modifying main.jpf --- main.jpf | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/main.jpf b/main.jpf index 281c0e3..1742858 100644 --- a/main.jpf +++ b/main.jpf @@ -8,8 +8,8 @@ target = main #listener=gov.nasa.jpf.listener.ConflictTracker,gov.nasa.jpf.listener.StateReducer ##listener=gov.nasa.jpf.listener.ConflictTrackerOld,gov.nasa.jpf.listener.StateReducer ##listener=gov.nasa.jpf.listener.ConflictTrackerOld,gov.nasa.jpf.listener.DPORStateReducer -##listener=gov.nasa.jpf.listener.ConflictTrackerOld -listener=gov.nasa.jpf.listener.DPORStateReducer +listener=gov.nasa.jpf.listener.ConflictTrackerOld +#listener=gov.nasa.jpf.listener.DPORStateReducer #listener=gov.nasa.jpf.listener.DPORStateReducer,gov.nasa.jpf.listener.ConflictTrackerOld # Potentially conflicting variables @@ -48,10 +48,10 @@ debug_mode=true # Debug mode for StateReducer printout_state_transition=true -#activate_state_reduction=false +activate_state_reduction=false # Timeout in minutes (default is 0 which means no timeout) -#timeout=30 +timeout=1440 #search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic #search.heuristic.beam_search=true -- 2.34.1