X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=PowerMeter%2FPowerMeters.groovy;fp=PowerMeter%2FPowerMeters.groovy;h=836218299f018ae5026547b9e1f34629535c838f;hb=de35dfa319418baf7ba4bc2eeb4dbfc0fd20230a;hp=fe400ffc78ee1b9e03fcf2bff5bd86546a81c7f0;hpb=d3802bd96ca8963ae52b9740443f9be6896f0e18;p=smartthings-infrastructure.git

diff --git a/PowerMeter/PowerMeters.groovy b/PowerMeter/PowerMeters.groovy
index fe400ff..8362182 100644
--- a/PowerMeter/PowerMeters.groovy
+++ b/PowerMeter/PowerMeters.groovy
@@ -2,6 +2,9 @@
 package PowerMeter
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class PowerMeters {
 	private int deviceNumbers
 	private List powerMeters
@@ -20,6 +23,9 @@ public class PowerMeters {
 		this.deviceNumbers = deviceNumbers
 		this.powerMeters = []
 
+		//def init = Verify.getIntFromList(30, 50, 70)
+		//this.power = init
+
 		powerMeters.add(new PowerMeter(id, label, displayName, this.power))
 	}