From c9f89c95586e720de215b2e5b4bfe33227151409 Mon Sep 17 00:00:00 2001 From: Nicolas Voirol <voirol.nicolas@gmail.com> Date: Wed, 11 May 2016 15:46:23 +0200 Subject: [PATCH] Removed spurious printing and moved StablePrintingSuite to smt-z3 --- src/main/scala/leon/purescala/SelfPrettyPrinter.scala | 1 - .../scala/leon/regression/synthesis/StablePrintingSuite.scala | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/main/scala/leon/purescala/SelfPrettyPrinter.scala b/src/main/scala/leon/purescala/SelfPrettyPrinter.scala index 43be58b9b..03aea55aa 100644 --- a/src/main/scala/leon/purescala/SelfPrettyPrinter.scala +++ b/src/main/scala/leon/purescala/SelfPrettyPrinter.scala @@ -74,7 +74,6 @@ trait PrettyPrinterFinder[T, U >: T] { getPrintersForType(funId.getType) match { case Some(u) => gatherPrettyPrinters(tail, acc += u) case None => - println("could not finish") None } } diff --git a/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala b/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala index 346a6057d..4f3b5bafd 100644 --- a/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala +++ b/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala @@ -76,7 +76,7 @@ class StablePrintingSuite extends LeonRegressionSuite { while(workList.nonEmpty) { val reporter = new TestSilentReporter - val ctx = createLeonContext("--synthesis", "--timeout=120").copy(reporter = reporter) + val ctx = createLeonContext("--synthesis", "--solvers=smt-z3", "--timeout=120").copy(reporter = reporter) val j = workList.pop() info(j.info("compilation")) -- GitLab