From 5e8ecf94c4ea57c86f9677746aa181db9d37e2c8 Mon Sep 17 00:00:00 2001 From: amiraj Date: Wed, 7 Aug 2019 18:43:58 -0700 Subject: [PATCH] importing verify library for relative humidity measurement class! --- RelativeHumidityMeasurement/RelativeHumidityMeasurement.groovy | 3 +++ .../RelativeHumidityMeasurements.groovy | 3 +++ 2 files changed, 6 insertions(+) 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 -- 2.34.1