Importing verify library for switch class!
authoramiraj <amiraj.95@uci.edu>
Fri, 9 Aug 2019 00:04:52 +0000 (17:04 -0700)
committeramiraj <amiraj.95@uci.edu>
Fri, 9 Aug 2019 00:04:52 +0000 (17:04 -0700)
Switch/Switch.groovy
Switch/Switches.groovy

index e017b55..4e28c34 100644 (file)
@@ -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
index a0e191c..c27440d 100644 (file)
@@ -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