From c512695f3fbeca89fca9fd49b3261ab1bb454e17 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Thu, 8 Aug 2019 10:17:54 -0700 Subject: [PATCH] Changing main.jpf --- main.jpf | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/main.jpf b/main.jpf index db82e7b..a2a28d5 100644 --- a/main.jpf +++ b/main.jpf @@ -17,22 +17,22 @@ listener=gov.nasa.jpf.listener.VariableConflictTracker # Speeches #variables=level,oneUser # Music players -variables=status,duration,level,trackDescription,trackData,mute +#variables=status,duration,level,trackDescription,trackData,mute # Relay switch #variables=currentSwitch # Valves -variables=valve,valveLatestValue +#variables=valve,valveLatestValue # Potentially conflicting apps (we default to App1 and App2 for now) apps=App1,App2 # Tracking the location.mode variable conflict -#track_location_var_conflict=true +track_location_var_conflict=true # Timeout in minutes (default is 0 which means no timeout) timeout=30 #search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic -search.class = gov.nasa.jpf.search.heuristic.UserHeuristic +#search.class = gov.nasa.jpf.search.heuristic.UserHeuristic #search.class = gov.nasa.jpf.search.heuristic.BFSHeuristic #search.class = gov.nasa.jpf.search.heuristic.DFSHeuristic -- 2.34.1