From 03eb02defa0beb050e13a55a611eb1343b7a7b31 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Mon, 5 Aug 2019 11:02:51 -0700 Subject: [PATCH 1/1] Adding conflict variables for lights. --- main.jpf | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/main.jpf b/main.jpf index 5b61c44..d1455f2 100644 --- a/main.jpf +++ b/main.jpf @@ -7,13 +7,13 @@ listener=gov.nasa.jpf.listener.VariableConflictTracker # Alarms #variables=currentAlarm # Locks -variables=currentLock +#variables=currentLock # Thermostats #variables=currentHeatingSetpoint,thermostatSetpoint,currentCoolingSetpoint,thermostatOperatingState,thermostatFanMode,currentThermostatMode # Switches #variables=currentSwitch # Lights -#variables=color,hue,saturation +variables=currentColor,currentHue,currentSaturation,currentLevel,currentSwitch,colorTemperature # Music players #variables=status,level,trackDescription,trackData,mute # Relay switch @@ -26,7 +26,7 @@ apps=App1,App2 #track_location_var_conflict=true # Timeout in minutes (default is 0 which means no timeout) -timeout=0 +timeout=30 #search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic #search.class = gov.nasa.jpf.search.heuristic.UserHeuristic -- 2.34.1