Updating classes with Verify API.
authorrtrimana <rtrimana@uci.edu>
Tue, 30 Jul 2019 17:37:18 +0000 (10:37 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 30 Jul 2019 17:37:18 +0000 (10:37 -0700)
commit0c6e63360c2c1dc55705ced3bf5ddabf22f7abed
tree93d677ff14b12157632181ad578861d53b88e7d3
parentb3247e2154a41f141199dc7ecc967fe8be562c1b
Updating classes with Verify API.
16 files changed:
Extractor/App1/extractedFunctionsApp1.groovy [deleted file]
Extractor/App1/extractedObjectsConstructorApp1.groovy [deleted file]
IlluminanceMeasurement/IlluminanceMeasurements.groovy
ModelCheck.py
MusicPlayer/MusicPlayer.groovy
MusicPlayer/MusicPlayers.groovy
PowerMeter/PowerMeters.groovy
RelativeHumidityMeasurement/RelativeHumidityMeasurements.groovy
RelaySwitch/RelaySwitches.groovy
SleepSensor/SleepSensors.groovy
StepSensor/StepSensors.groovy
SwitchLevel/SwitchLevels.groovy
TemperatureMeasurement/TemperatureMeasurements.groovy
Valve/Valves.groovy
WaterSensor/WaterSensors.groovy
run.sh