diff --git a/src/main/scala/leon/LeonContext.scala b/src/main/scala/leon/LeonContext.scala
index 0fa623e1a64342a11939000aeed4ed48100d74da..c4854544fda09689a5e46f6a0a50f5eb916f7360 100644
--- a/src/main/scala/leon/LeonContext.scala
+++ b/src/main/scala/leon/LeonContext.scala
@@ -27,3 +27,10 @@ case class LeonContext(
   def findOptionOrDefault[A](optDef: LeonOptionDef[A]): A =
     findOption(optDef).getOrElse(optDef.default)
 }
+
+object LeonContext {
+  def empty = {
+    val reporter = new DefaultReporter(Set())
+    LeonContext(reporter, new InterruptManager(reporter))
+  }
+}