X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=blobdiff_plain;f=Runner.py;fp=Runner.py;h=9c2da707ff75911e62a88c7ca8b9cfe3181190d2;hp=2e343021ac305cf09384835e976ed6313ce32266;hb=7bc2c68bdfb07a54d6e8399e7514d715c78a2398;hpb=c3be64e00452e6b9789207f5746ab4089fcf1f0f

diff --git a/Runner.py b/Runner.py
index 2e34302..9c2da70 100644
--- a/Runner.py
+++ b/Runner.py
@@ -83,6 +83,9 @@ Out.write("import EnergyMeter.EnergyMeters\n")
 Out.write("import Event.Event\n")
 Out.write("import Timer.SimulatedTimer\n")
 Out.write("\n")
+Out.write("//JPF's Verify API\n")
+Out.write("import gov.nasa.jpf.vm.Verify\n")
+Out.write("\n")
 Out.write("//Global eventHandler\n")
 for line in eventHandler:
 	Out.write(line)