From feb68c55953fa51c7f9b391cb1d8f14c25c8a135 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Wed, 7 Aug 2019 22:55:25 -0700 Subject: [PATCH] Adding a new conflict variable. --- main.jpf | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/main.jpf b/main.jpf index 98264ca..91b80aa 100644 --- a/main.jpf +++ b/main.jpf @@ -13,11 +13,11 @@ 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 +variables=status,duration,level,trackDescription,trackData,mute # Relay switch #variables=currentSwitch @@ -31,6 +31,6 @@ apps=App1,App2 timeout=30 #search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic -#search.class = gov.nasa.jpf.search.heuristic.UserHeuristic +search.class = gov.nasa.jpf.search.heuristic.UserHeuristic #search.class = gov.nasa.jpf.search.heuristic.BFSHeuristic #search.class = gov.nasa.jpf.search.heuristic.DFSHeuristic -- 2.34.1