From d3d49bbb14b0727e2907393fa39fdce6d084ff89 Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Sat, 10 Aug 2019 17:27:02 -0700
Subject: [PATCH] Adding cameras.

---
 main.jpf | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.34.1