Search space optimization
authorbdemsky <bdemsky@uci.edu>
Wed, 7 Aug 2019 05:07:50 +0000 (22:07 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 7 Aug 2019 05:07:50 +0000 (22:07 -0700)
Runner.py

index e5700df..9de06d9 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")
 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")
 Out.write("//Application #1\n")
 Out.write("class App1 {\n")
 Out.write("\tdef reference\n")