projects
/
smartthings-infrastructure.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Adding a script to run automation for model-checking.
[smartthings-infrastructure.git]
/
Runner.py
diff --git
a/Runner.py
b/Runner.py
index d3d7c16f0ff5cc506d4d71da1462ab95d7115929..2309a888d346ae709273544db2f47aa45d5f0598 100644
(file)
--- a/
Runner.py
+++ b/
Runner.py
@@
-71,6
+71,9
@@
Out.write("import SpeechSynthesis.SpeechSynthesises\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)