Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure

[smartthings-infrastructure.git] / Runner.py

diff --git a/Runner.py b/Runner.py
index 2e343021ac305cf09384835e976ed6313ce32266..9c2da707ff75911e62a88c7ca8b9cfe3181190d2 100644 (file)
--- 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("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)
 Out.write("//Global eventHandler\n")
 for line in eventHandler:
        Out.write(line)