From 8fd776e62c7571c127e6a12747c48cad04f202e6 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 2 Mar 2015 20:49:48 +0100
Subject: [PATCH] Make DefOpsTests silent, like the rest
---
.../scala/leon/test/purescala/DefOpsTests.scala | 13 +++++--------
1 file changed, 5 insertions(+), 8 deletions(-)
diff --git a/src/test/scala/leon/test/purescala/DefOpsTests.scala b/src/test/scala/leon/test/purescala/DefOpsTests.scala
index f6a062f16..380973e63 100644
--- a/src/test/scala/leon/test/purescala/DefOpsTests.scala
+++ b/src/test/scala/leon/test/purescala/DefOpsTests.scala
@@ -10,19 +10,16 @@ import frontends.scalac._
import utils._
import leon.test.LeonTestSuite
-private [purescala] object DefOpsHelper {
+private [purescala] object DefOpsHelper extends LeonTestSuite {
private def parseStrings(strs : List[String]) : Program = {
val settings : Settings = Settings(
verify = false
)
- val reporter = new DefaultReporter(settings)
- val context : LeonContext = LeonContext(
- reporter,
- new InterruptManager(reporter),
- settings,
- Seq()
+ val c = createLeonContext()
+ val context : LeonContext = c.copy(settings =
+ c.settings.copy(verify = false)
)
-
+
val pipeline =
ExtractionPhase andThen
PreprocessingPhase
--
GitLab