From ab169073f003460ba9a741ed69e184a4aef0e6ba Mon Sep 17 00:00:00 2001 From: rtrimana Date: Wed, 7 Aug 2019 23:50:25 -0700 Subject: [PATCH] Adding a new variable. --- main.jpf | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/main.jpf b/main.jpf index 98264ca..d9feee5 100644 --- a/main.jpf +++ b/main.jpf @@ -13,13 +13,15 @@ listener=gov.nasa.jpf.listener.VariableConflictTracker # Switches #variables=currentSwitch # Lights -variables=colorChanged,currentHue,currentSaturation,currentLevel,currentSwitch,colorTemperature +#variables=colorChanged,currentHue,currentSaturation,currentLevel,currentSwitch,colorTemperature # Speeches #variables=level,oneUser # Music players #variables=status,level,trackDescription,trackData,mute # Relay switch #variables=currentSwitch +# Valves +variables=valve,valveLatestValue # Potentially conflicting apps (we default to App1 and App2 for now) apps=App1,App2 -- 2.34.1