Improvements and new methods
[smartthings-infrastructure.git] / MusicPlayer / MusicPlayer.groovy
index 8372772..67db554 100644 (file)
@@ -2,6 +2,8 @@
 package MusicPlayer
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
 
 public class MusicPlayer {
        private String id