Commenting out the Verify API calls in the object instantiation to avoid state explos...

[smartthings-infrastructure.git] / StepSensor / StepSensors.groovy

diff --git a/StepSensor/StepSensors.groovy b/StepSensor/StepSensors.groovy
index 8f0f165f70bf24148786cc2b7cf48187b11242de..cc709fe704b507f0cf161124947767c1aab26f90 100644 (file)
--- a/StepSensor/StepSensors.groovy
+++ b/StepSensor/StepSensors.groovy
@@ -2,6 +2,9 @@
 package StepSensor
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class StepSensors {
        private int deviceNumbers
        private List stepSensors
@@ -20,6 +23,11 @@ public class StepSensors {
                this.deviceNumbers = deviceNumbers
                this.stepSensors = []
 
+               /*def initGoal = Verify.getIntFromList(1000, 2000, 3000)
+               this.goal = initGoal
+               def initSteps = Verify.getIntFromList(0, 1, 2)
+               this.steps = initSteps*/
+
                stepSensors.add(new StepSensor(id, label, displayName, this.steps, this.goal))
        }