Skip to content
Snippets Groups Projects
Commit 210e5bc7 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Don't dump stats while generating invariants

parent e7ffc49c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala
+ 1
− 1
View file @ 210e5bc7
...@@ -48,7 +48,7 @@ object InferInvariantsPhase extends SimpleLeonPhase[Program, InferenceReport] { ...@@ -48,7 +48,7 @@ object InferInvariantsPhase extends SimpleLeonPhase[Program, InferenceReport] {
def apply(ctx: LeonContext, program: Program): InferenceReport = { def apply(ctx: LeonContext, program: Program): InferenceReport = {
//control printing of statistics //control printing of statistics
val dumpStats = true val dumpStats = false
var timeout: Int = 15 var timeout: Int = 15
//defualt true flags //defualt true flags
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment