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

Test should call FunctionClosure

parent d4967adb
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/test/scala/leon/test/LeonTestSuiteWithProgram.scala
+ 3
− 2
View file @ a2d74af8
...@@ -4,7 +4,7 @@ package leon.test ...@@ -4,7 +4,7 @@ package leon.test
import leon._ import leon._
import leon.purescala.Definitions.Program import leon.purescala.Definitions.Program
import leon.LeonContext import leon.purescala.FunctionClosure
import leon.utils._ import leon.utils._
import leon.frontends.scalac.ExtractionPhase import leon.frontends.scalac.ExtractionPhase
...@@ -23,7 +23,8 @@ trait LeonTestSuiteWithProgram extends fixture.FunSuite { ...@@ -23,7 +23,8 @@ trait LeonTestSuiteWithProgram extends fixture.FunSuite {
val pipeline = val pipeline =
TemporaryInputPhase andThen TemporaryInputPhase andThen
ExtractionPhase andThen ExtractionPhase andThen
PreprocessingPhase PreprocessingPhase andThen
new FunctionClosure
val sources: List[String] val sources: List[String]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment