X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=main.jpf;h=7b9a3ad94abf66bf46c4ac3c5d22e725ae1e7b6b;hp=04f14be990eb3bb5c2c3b99cd909a1f165b21430;hb=6c433e9b39cb6c35efc164c8a9831884891de263;hpb=a25e4f9ce1b9f5aab028a18ec09c1e3471bef36a

diff --git a/main.jpf b/main.jpf
index 04f14be..7b9a3ad 100644
--- a/main.jpf
+++ b/main.jpf
@@ -5,9 +5,9 @@ listener=gov.nasa.jpf.listener.VariableConflictTracker
 
 # Potentially conflicting variables
 # Alarms
-variables=currentAlarm
+#variables=currentAlarm
 # Locks
-#variables=currentLock
+variables=currentLock
 # Thermostats
 #variables=currentHeatingSetpoint,thermostatSetpoint,currentCoolingSetpoint,thermostatOperatingState,thermostatFanMode,currentThermostatMode
 # Switches
@@ -25,4 +25,7 @@ apps=App1,App2
 # Tracking the location.mode variable conflict
 #track_location_var_conflict=true
 
+# Timeout in minutes (default is 0 which means no timeout)
+timeout=3
+
 #search.class = gov.nasa.jpf.search.heuristic.UserHeuristic