From a2d74af87945486a575b29900c0d37ebd6a8dbec Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 11 Sep 2015 18:33:52 +0200
Subject: [PATCH] Test should call FunctionClosure
---
src/test/scala/leon/test/LeonTestSuiteWithProgram.scala | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/test/scala/leon/test/LeonTestSuiteWithProgram.scala b/src/test/scala/leon/test/LeonTestSuiteWithProgram.scala
index 17d65364d..75987ea88 100644
--- a/src/test/scala/leon/test/LeonTestSuiteWithProgram.scala
+++ b/src/test/scala/leon/test/LeonTestSuiteWithProgram.scala
@@ -4,7 +4,7 @@ package leon.test
import leon._
import leon.purescala.Definitions.Program
-import leon.LeonContext
+import leon.purescala.FunctionClosure
import leon.utils._
import leon.frontends.scalac.ExtractionPhase
@@ -23,7 +23,8 @@ trait LeonTestSuiteWithProgram extends fixture.FunSuite {
val pipeline =
TemporaryInputPhase andThen
ExtractionPhase andThen
- PreprocessingPhase
+ PreprocessingPhase andThen
+ new FunctionClosure
val sources: List[String]
--
GitLab