Adding cameras.

diff --git a/main.jpf b/main.jpf
index a2a28d51fd53a0e2b7d327dc564826e8c20d5082..c1e04caa3a112f3021d70fc9d9b2e4dc8a1dbb0b 100644 (file)
--- 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