Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure
authorrtrimana <rtrimana@uci.edu>
Thu, 8 Aug 2019 06:09:58 +0000 (23:09 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 8 Aug 2019 06:09:58 +0000 (23:09 -0700)
RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy
RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy

index 47da3b5..395c252 100644 (file)
@@ -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
index 4859ae0..d4f13e0 100644 (file)
@@ -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