Add constanttime class

[jpf-core.git] / main.jpf

diff --git a/main.jpf b/main.jpf
index d394ec3350e8e0f4a1a0988e62874e1d5f752c1b..04f14be990eb3bb5c2c3b99cd909a1f165b21430 100644 (file)
--- a/main.jpf
+++ b/main.jpf
@@ -5,15 +5,19 @@ 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
 #variables=currentSwitch
 # Lights
 #variables=color,hue,saturation
+# Music players
+#variables=status,level,trackDescription,trackData,mute
+# Relay switch
+#variables=currentSwitch
                        
 # Potentially conflicting apps (we default to App1 and App2 for now)
 apps=App1,App2