From 73690d13ff5e2d66f43865f66350553fbe812c0e Mon Sep 17 00:00:00 2001 From: Etienne Kneuss <etienne.kneuss@epfl.ch> Date: Thu, 12 Feb 2015 17:21:20 +0100 Subject: [PATCH] Use the group-phase preprocessingPhase instead --- src/test/scala/leon/test/codegen/CodeGenTests.scala | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/test/scala/leon/test/codegen/CodeGenTests.scala b/src/test/scala/leon/test/codegen/CodeGenTests.scala index e3b3b6968..af02b00a9 100644 --- a/src/test/scala/leon/test/codegen/CodeGenTests.scala +++ b/src/test/scala/leon/test/codegen/CodeGenTests.scala @@ -27,11 +27,7 @@ class CodeGenTests extends test.LeonTestSuite { val pipeline = utils.TemporaryInputPhase andThen frontends.scalac.ExtractionPhase andThen - utils.ScopingPhase andThen - purescala.MethodLifting andThen - utils.TypingPhase andThen - purescala.CompleteAbstractDefinitions andThen - purescala.RestoreMethods + utils.PreprocessingPhase def compileTestFun(p : Program, toTest : String, ctx : LeonContext, requireMonitor : Boolean, doInstrument : Boolean) : ( Seq[Expr] => EvaluationResults.Result) = { // We want to produce code that checks contracts -- GitLab