projects
/
smartthings-infrastructure.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Importing verify library for switch class!
[smartthings-infrastructure.git]
/
Switch
/
Switches.groovy
diff --git
a/Switch/Switches.groovy
b/Switch/Switches.groovy
index a0e191cf4f61e4b92c33aafcf3670b273aa8946d..c27440d0db938f74d5f062dc95615fa1f7e7a3f6 100644
(file)
--- 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