From df37e18934c9210bdfa81f9197984a056093e4af Mon Sep 17 00:00:00 2001 From: rtrimana Date: Fri, 28 Feb 2020 11:31:36 -0800 Subject: [PATCH] Adding attributes for dimmers. --- main.jpf | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/main.jpf b/main.jpf index efa82cc..0842997 100644 --- a/main.jpf +++ b/main.jpf @@ -5,19 +5,22 @@ target = main #listener=gov.nasa.jpf.listener.StateReducer #listener=gov.nasa.jpf.listener.StateReducerOld #listener=gov.nasa.jpf.listener.VariableConflictTracker,gov.nasa.jpf.listener.StateReducer -listener=gov.nasa.jpf.listener.ConflictTracker,gov.nasa.jpf.listener.StateReducer +#listener=gov.nasa.jpf.listener.ConflictTracker,gov.nasa.jpf.listener.StateReducer +listener=gov.nasa.jpf.listener.ConflictTracker # Potentially conflicting variables # Alarms #variables=currentAlarm # Locks -variables=currentLock +#variables=currentLock # Thermostats #variables=currentHeatingSetpoint,thermostatSetpoint,currentCoolingSetpoint,thermostatOperatingState,thermostatFanMode,currentThermostatMode # Switches #variables=currentSwitch # Lights #variables=colorChanged,currentHue,currentSaturation,currentLevel,currentSwitch,colorTemperature +# Dimmers +variables=currentSwitch,currentLevel # Speeches #variables=level,oneUser # Music players @@ -44,7 +47,7 @@ apps=App1,App2 # Timeout in minutes (default is 0 which means no timeout) timeout=30 -search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic +#search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic #search.heuristic.beam_search=true #search.class = gov.nasa.jpf.search.heuristic.UserHeuristic #search.class = gov.nasa.jpf.search.heuristic.BFSHeuristic -- 2.34.1