# Speeches
#variables=level,oneUser
# Music players
- #variables=status,level,trackDescription,trackData,mute
+ variables=status,duration,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
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