Skip to content
Snippets Groups Projects
Commit 73690d13 authored by Etienne Kneuss's avatar Etienne Kneuss
Browse files

Use the group-phase preprocessingPhase instead

parent b31f80fb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/test/scala/leon/test/codegen/CodeGenTests.scala
+ 1
− 5
View file @ 73690d13
...@@ -27,11 +27,7 @@ class CodeGenTests extends test.LeonTestSuite { ...@@ -27,11 +27,7 @@ class CodeGenTests extends test.LeonTestSuite {
val pipeline = val pipeline =
utils.TemporaryInputPhase andThen utils.TemporaryInputPhase andThen
frontends.scalac.ExtractionPhase andThen frontends.scalac.ExtractionPhase andThen
utils.ScopingPhase andThen utils.PreprocessingPhase
purescala.MethodLifting andThen
utils.TypingPhase andThen
purescala.CompleteAbstractDefinitions andThen
purescala.RestoreMethods
def compileTestFun(p : Program, toTest : String, ctx : LeonContext, requireMonitor : Boolean, doInstrument : Boolean) : ( Seq[Expr] => EvaluationResults.Result) = { def compileTestFun(p : Program, toTest : String, ctx : LeonContext, requireMonitor : Boolean, doInstrument : Boolean) : ( Seq[Expr] => EvaluationResults.Result) = {
// We want to produce code that checks contracts // We want to produce code that checks contracts
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment