From 210e5bc777951304349e6fdb036d161f917342c0 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 13 Oct 2015 13:54:18 +0200
Subject: [PATCH] Don't dump stats while generating invariants
---
src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala b/src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala
index e084d830c..ce69f2b6f 100644
--- a/src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala
+++ b/src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala
@@ -48,7 +48,7 @@ object InferInvariantsPhase extends SimpleLeonPhase[Program, InferenceReport] {
def apply(ctx: LeonContext, program: Program): InferenceReport = {
//control printing of statistics
- val dumpStats = true
+ val dumpStats = false
var timeout: Int = 15
//defualt true flags
--
GitLab