projects
/
iot2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Cleaning up benchmarks and drivers code.
[iot2.git]
/
benchmarks
/
drivers
/
Java
/
EspSprinkler
/
EspSprinkler.java
diff --git
a/benchmarks/drivers/Java/EspSprinkler/EspSprinkler.java
b/benchmarks/drivers/Java/EspSprinkler/EspSprinkler.java
index 41c9ac0a2b925ac449345a33db1df36a0f38679f..bb40a7258f1372a310e6a9144aeb85a44bf8c6aa 100644
(file)
--- a/
benchmarks/drivers/Java/EspSprinkler/EspSprinkler.java
+++ b/
benchmarks/drivers/Java/EspSprinkler/EspSprinkler.java
@@
-20,8
+20,6
@@
import iotcode.interfaces.ZoneState;
import iotcode.interfaces.Sprinkler;
import iotcode.annotation.*;
-//import iotchecker.qual.*;
-
/** Class EspSprinkler for the ESP8266 plrg Sprinkler.
*
* @author Ali Younis <ayounis @ uci.edu>
@@
-370,10
+368,3
@@
public class EspSprinkler implements Sprinkler {
}
-
-
-
-
-
-
-