From: bdemsky <bdemsky@uci.edu>
Date: Wed, 7 Aug 2019 05:07:50 +0000 (-0700)
Subject: Search space optimization
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=commitdiff_plain;h=47d65e452934cfcf50b1ef3abd971747d81ee581;hp=259531f8790d0f5ac24a985c67ded5650289c4f0

Search space optimization
---

diff --git a/Runner.py b/Runner.py
index e5700df..9de06d9 100644
--- a/Runner.py
+++ b/Runner.py
@@ -135,6 +135,8 @@ Out.write("@Field def init = Verify.getBoolean()\n\n")
 for line in GlobalVariablesBothApps:
 	Out.write(line)
 Out.write("\n")
+Out.write("//clear init flag now we are done with it\n")
+Out.write("init = false\n")
 Out.write("//Application #1\n")
 Out.write("class App1 {\n")
 Out.write("\tdef reference\n")