From: rtrimana <rtrimana@uci.edu>
Date: Sun, 11 Aug 2019 00:27:02 +0000 (-0700)
Subject: Adding cameras.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=d3d49bbb14b0727e2907393fa39fdce6d084ff89;p=jpf-core.git

Adding cameras.
---

diff --git a/main.jpf b/main.jpf
index a2a28d5..c1e04ca 100644
--- a/main.jpf
+++ b/main.jpf
@@ -22,6 +22,8 @@ listener=gov.nasa.jpf.listener.VariableConflictTracker
 #variables=currentSwitch
 # Valves
 #variables=valve,valveLatestValue
+# Cameras
+variables=image,alarmState
 			
 # Potentially conflicting apps (we default to App1 and App2 for now)
 apps=App1,App2