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

tant pis

parent 745671b8
Branches
Tags
No related merge requests found
......@@ -117,9 +117,6 @@ object Main {
LeonContext(settings = settings, reporter = reporter, files = files, options = leonOptions)
}
// not sure we actually want this, but it is sexy
implicit def unitToNoopPhase[T](u: Unit): NoopPhase[T] = NoopPhase[T]()
def computePipeline(settings: Settings): Pipeline[List[String], Any] = {
import purescala.Definitions.Program
......@@ -131,16 +128,22 @@ object Main {
EpsilonElimination andThen
ImperativeCodeElimination andThen
FunctionClosure
} else {
NoopPhase()
}
val pipeSynthesis: Pipeline[Program, Program]=
if (settings.synthesis) {
synthesis.SynthesisPhase
} else {
NoopPhase()
}
val pipeVerify: Pipeline[Program, Any] =
if (settings.verify) {
verification.AnalysisPhase
} else {
NoopPhase()
}
pipeBegin andThen
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment