From: amiraj <amiraj.95@uci.edu>
Date: Thu, 8 Aug 2019 01:43:58 +0000 (-0700)
Subject: importing verify library for relative humidity measurement class!
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5e8ecf94c4ea57c86f9677746aa181db9d37e2c8;p=smartthings-infrastructure.git

importing verify library for relative humidity measurement class!
---

diff --git a/RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy b/RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy
index 47da3b5..395c252 100644
--- a/RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy
+++ b/RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy
@@ -2,6 +2,9 @@
 package RelativeHumidityMeasurement
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class RelativeHumidityMeasurement {
 	private String id
 	private String label
diff --git a/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy b/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
index 4859ae0..d4f13e0 100644
--- a/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
+++ b/RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
@@ -2,6 +2,9 @@
 package RelativeHumidityMeasurement
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class RelativeHumidityMeasurements {
 	private int deviceNumbers
 	private List humidityMeasurements