Importing verify library for switch class!

diff --git a/Switch/Switch.groovy b/Switch/Switch.groovy
index e017b55182ada1f4d49b2a3c976bdbaa788d0f0b..4e28c344fd9e2849f6f5eca1decc575d9c570dc6 100644 (file)
--- a/Switch/Switch.groovy
+++ b/Switch/Switch.groovy
@@ -2,6 +2,10 @@
 package Switch
 import Timer.SimulatedTimer
 
 package Switch
 import Timer.SimulatedTimer
 

+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
+

 public class Switch {
        private String id
        private String label
 public class Switch {
        private String id
        private String label

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
 
 package Switch
 import Timer.SimulatedTimer
 

+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
+

 public class Switches {
        int deviceNumbers       
        List switches
 public class Switches {
        int deviceNumbers       
        List switches