From c219c26ae0d1b16bcb2bd665b9c8802bf5477601 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Thu, 26 Apr 2012 16:46:40 +0200
Subject: [PATCH] verbose option no longer here
---
src/main/scala/leon/plugin/LeonPlugin.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/main/scala/leon/plugin/LeonPlugin.scala b/src/main/scala/leon/plugin/LeonPlugin.scala
index 5fecbb605..f007510cf 100644
--- a/src/main/scala/leon/plugin/LeonPlugin.scala
+++ b/src/main/scala/leon/plugin/LeonPlugin.scala
@@ -41,7 +41,6 @@ class LeonPlugin(val global: Global, val actionAfterExtraction : Option[Program=
" --parallel Run all solvers in parallel" + "\n" +
" --noLuckyTests Do not perform additional tests to potentially find models early" + "\n" +
" --noverifymodel Do not verify the correctness of models returned by Z3" + "\n" +
- " --verbose Print debugging informations" + "\n" +
" --debug=[1-5] Debug level" + "\n" +
" --tags=t1:... Filter out debug information that are not of one of the given tags"
)
@@ -67,7 +66,6 @@ class LeonPlugin(val global: Global, val actionAfterExtraction : Option[Program=
case "parallel" => leon.Settings.useParallel = true
case "noLuckyTests" => leon.Settings.luckyTest = false
case "noverifymodel" => leon.Settings.verifyModel = false
- case "verbose" => leon.Settings.verbose = true
case s if s.startsWith("debug=") => leon.Settings.debugLevel = try { s.substring("debug=".length, s.length).toInt } catch { case _ => 0 }
case s if s.startsWith("tags=") => leon.Settings.debugTags = Set(splitList(s.substring("tags=".length, s.length)): _*)
case s if s.startsWith("unrolling=") => leon.Settings.unrollingLevel = try { s.substring("unrolling=".length, s.length).toInt } catch { case _ => 0 }
--
GitLab