Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
authorrtrimana <rtrimana@uci.edu>
Thu, 8 Aug 2019 06:51:02 +0000 (23:51 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 8 Aug 2019 06:51:02 +0000 (23:51 -0700)
1  2 
main.jpf

diff --cc main.jpf
+++ b/main.jpf
@@@ -17,11 -17,9 +17,11 @@@ listener=gov.nasa.jpf.listener.Variable
  # 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