From 85dd5531218df32a3a6b8ee86b2588b4459b5807 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 8 Sep 2015 16:34:31 +0200
Subject: [PATCH] Add toString to Trees using LeonContext that prints full
names
---
src/main/scala/leon/LeonContext.scala | 6 ++++++
src/main/scala/leon/purescala/Common.scala | 2 ++
2 files changed, 8 insertions(+)
diff --git a/src/main/scala/leon/LeonContext.scala b/src/main/scala/leon/LeonContext.scala
index c4854544f..8b3a250c2 100644
--- a/src/main/scala/leon/LeonContext.scala
+++ b/src/main/scala/leon/LeonContext.scala
@@ -33,4 +33,10 @@ object LeonContext {
val reporter = new DefaultReporter(Set())
LeonContext(reporter, new InterruptManager(reporter))
}
+
+ def printNames = {
+ empty.copy(options =
+ Seq(LeonOption[Set[DebugSection]](SharedOptions.optDebug)(Set(DebugSectionTrees)))
+ )
+ }
}
diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala
index 5c630e4f6..848577763 100644
--- a/src/main/scala/leon/purescala/Common.scala
+++ b/src/main/scala/leon/purescala/Common.scala
@@ -26,6 +26,8 @@ object Common {
def asString(pgm: Program)(implicit ctx: LeonContext): String = {
ScalaPrinter(this, ctx, pgm)
}
+
+ override def toString = asString(LeonContext.printNames)
}
/** Represents a unique symbol in Leon.
--
GitLab