-
Manos Koukoutos authoredManos Koukoutos authored
PrintTreePhase.scala 389 B
/* Copyright 2009-2016 EPFL, Lausanne */
package leon
package utils
import purescala.Definitions.Program
case class PrintTreePhase(title: String) extends UnitPhase[Program] {
val name = "Print program"
val description = "Display: "+title
def apply(ctx: LeonContext, p: Program) {
ctx.reporter.info(ASCIIHelpers.title(title))
ctx.reporter.info(p.asString(p)(ctx))
}
}