projects
/
smartthings-infrastructure.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improvements and new methods
[smartthings-infrastructure.git]
/
MusicPlayer
/
MusicPlayer.groovy
diff --git
a/MusicPlayer/MusicPlayer.groovy
b/MusicPlayer/MusicPlayer.groovy
index 83727722d5fbbe4e9b565ba181b95c81d1de4f4c..67db55410bec374162b2406d86d98484ab5f63ed 100644
(file)
--- a/
MusicPlayer/MusicPlayer.groovy
+++ b/
MusicPlayer/MusicPlayer.groovy
@@
-2,6
+2,8
@@
package MusicPlayer
import Timer.SimulatedTimer
package MusicPlayer
import Timer.SimulatedTimer
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
public class MusicPlayer {
private String id
public class MusicPlayer {
private String id