Adding cameras.
authorrtrimana <rtrimana@uci.edu>
Sun, 11 Aug 2019 00:27:02 +0000 (17:27 -0700)
committerrtrimana <rtrimana@uci.edu>
Sun, 11 Aug 2019 00:27:02 +0000 (17:27 -0700)
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