Add constanttime class

[jpf-core.git] / main.jpf

diff --git a/main.jpf b/main.jpf
index c0441820813a09bf3f78e78711a783072f70decc..04f14be990eb3bb5c2c3b99cd909a1f165b21430 100644 (file)
--- 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