Search space optimization

diff --git a/Runner.py b/Runner.py
index e5700dfa327527e6a9e53e7c3f1f8b2c47a4f951..9de06d98b097961cc125539882fcd1cc4243ce25 100644 (file)
--- 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")