From 52c37827bf98b1bed0bad928b2097999e8c5ae62 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 27 Aug 2015 16:12:45 +0200
Subject: [PATCH] LeonContext.empty
---
src/main/scala/leon/LeonContext.scala | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/src/main/scala/leon/LeonContext.scala b/src/main/scala/leon/LeonContext.scala
index 0fa623e1a..c4854544f 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))
+ }
+}
--
GitLab