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
/
BlossomSprinkler
/
BlossomSprinkler.java
diff --git
a/benchmarks/drivers/Java/BlossomSprinkler/BlossomSprinkler.java
b/benchmarks/drivers/Java/BlossomSprinkler/BlossomSprinkler.java
index 42145a1b73764b1d84ef6738231506e2c1dfe2ca..483d3c2574040331f52f4a9745ec5ee18522a308 100644
(file)
--- a/
benchmarks/drivers/Java/BlossomSprinkler/BlossomSprinkler.java
+++ b/
benchmarks/drivers/Java/BlossomSprinkler/BlossomSprinkler.java
@@
-26,8
+26,6
@@
import iotcode.annotation.*;
import iotcode.interfaces.ZoneState;
import iotcode.interfaces.Sprinkler;
-//import iotchecker.qual.*;
-
/** Class BlossomSprinkler for the Blossom Sprinkler.
*
* @author Ali Younis <ayounis @ uci.edu>