Adding cameras.

diff --git a/main.jpf b/main.jpf
index a2a28d5..c1e04ca 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