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

diff --git a/main.jpf b/main.jpf
index c044182..04f14be 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