From abefdb077560d131958abf7daf3dc37155a4f41e Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 27 Feb 2015 18:41:03 +0100
Subject: [PATCH] Make CodeGenTests silent like the rest
---
src/test/scala/leon/test/codegen/CodeGenTests.scala | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/src/test/scala/leon/test/codegen/CodeGenTests.scala b/src/test/scala/leon/test/codegen/CodeGenTests.scala
index fe876c9e5..4a0385307 100644
--- a/src/test/scala/leon/test/codegen/CodeGenTests.scala
+++ b/src/test/scala/leon/test/codegen/CodeGenTests.scala
@@ -53,15 +53,10 @@ class CodeGenTests extends test.LeonTestSuite {
private def testCodeGen(prog : TestCase, requireMonitor : Boolean, doInstrument : Boolean) { test(prog.name) {
import prog._
- val ctx = testContext.copy(
- // We want a reporter that actually prints some output
- reporter = new DefaultReporter(testContext.settings)
- )
+ val ctx = createLeonContext()
val ast = pipeline.run(ctx)( (content, List()) )
- //ctx.reporter.info(purescala.ScalaPrinter(ast))
-
val compiled = compileTestFun(ast, functionToTest, ctx, requireMonitor, doInstrument)
try { compiled(args) match {
case Successful(res) if res == expected =>
--
GitLab