From 27e6bb13aa855b6b52a9e7f4dec51bb49ce2ca9f Mon Sep 17 00:00:00 2001 From: maaz139 Date: Sat, 3 Sep 2016 03:50:04 -0700 Subject: [PATCH] Left debug flag on...oops --- compiler/src/casper/visit/GenerateScaffold.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/src/casper/visit/GenerateScaffold.java b/compiler/src/casper/visit/GenerateScaffold.java index 2a7572a..c0ae265 100644 --- a/compiler/src/casper/visit/GenerateScaffold.java +++ b/compiler/src/casper/visit/GenerateScaffold.java @@ -572,7 +572,7 @@ public NodeVisitor enter(Node parent, Node n){ generateScaffold(sketchInputVars, sketchFilteredOutputVars, sketchLoopCounters, n, var.type); /* Run synthesizer to generate summary */ - int exitCode = 0;//runSynthesizer("output/main_"+var.type.replace("["+Configuration.arraySizeBound+"]","")+id+".sk",var.type,ext); + int exitCode = runSynthesizer("output/main_"+var.type.replace("["+Configuration.arraySizeBound+"]","")+id+".sk",var.type,ext); if(exitCode == 0){ /* Run theorem prover to verify summary */ verifySummary("output/main_"+var.type.replace("["+Configuration.arraySizeBound+"]","")+id+".dfy", n, ext, sketchInputVars, sketchFilteredOutputVars, sketchLoopCounters, var.type);