Skip to content
Snippets Groups Projects
LeonContext.scala 480 B
package leon

import purescala.Definitions.Program
import java.io.File

/** Everything that is part of a compilation unit, except the actual program tree.
 *  Contexts are immutable, and so should all there fields (with the possible
 *  exception of the reporter). */
case class LeonContext(
  val settings: Settings          = Settings(),
  val options: List[LeonOption]   = Nil,
  val files: List[File]           = Nil,
  val reporter: Reporter          = new DefaultReporter
)