package RelativeHumidityMeasurement
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
public class RelativeHumidityMeasurements {
private int deviceNumbers
private List humidityMeasurements
this.deviceNumbers = deviceNumbers
this.humidityMeasurements = []
+ def init = Verify.getIntFromList(30, 50, 70)
+ this.humidity = init
+
humidityMeasurements.add(new RelativeHumidityMeasurement(id, label, displayName, this.humidity))
}