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 91b80aa600a696015d73b93de31575f816a30403..db82e7b595f6031cf16a6771c7229dfc91338899 100644 (file)
--- a/main.jpf
+++ b/main.jpf
@@ -20,6 +20,8 @@ listener=gov.nasa.jpf.listener.VariableConflictTracker
 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