From: amiraj <amiraj.95@uci.edu>
Date: Fri, 9 Aug 2019 00:04:52 +0000 (-0700)
Subject: Importing verify library for switch class!
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f4d0ca554203eaaade02fdbf490441ee7a65715e;p=smartthings-infrastructure.git

Importing verify library for switch class!
---

diff --git a/Switch/Switch.groovy b/Switch/Switch.groovy
index e017b55..4e28c34 100644
--- a/Switch/Switch.groovy
+++ b/Switch/Switch.groovy
@@ -2,6 +2,10 @@
 package Switch
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
+
 public class Switch {
 	private String id
 	private String label
diff --git a/Switch/Switches.groovy b/Switch/Switches.groovy
index a0e191c..c27440d 100644
--- a/Switch/Switches.groovy
+++ b/Switch/Switches.groovy
@@ -2,6 +2,10 @@
 package Switch
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
+
 public class Switches {
 	int deviceNumbers	
 	List switches