Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

[jpf-core.git] / main.jpf

diff --git a/main.jpf b/main.jpf
index d9feee526e7decf025d187dee5cb1642504411c4..db82e7b595f6031cf16a6771c7229dfc91338899 100644 (file)
--- a/main.jpf
+++ b/main.jpf
@@ -17,7 +17,7 @@ listener=gov.nasa.jpf.listener.VariableConflictTracker
 # Speeches
 #variables=level,oneUser
 # Music players
-#variables=status,level,trackDescription,trackData,mute
+variables=status,duration,level,trackDescription,trackData,mute
 # Relay switch
 #variables=currentSwitch
 # Valves
@@ -33,6 +33,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