From 273bca7814693ea31fc3a683a2af618d06793ae7 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 11 Dec 2012 21:45:46 +0100
Subject: [PATCH] No global option for "feeling lucky".
---
src/main/scala/leon/Main.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 96aee3dec..2e1e6634f 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -107,8 +107,6 @@ object Main {
settings = settings.copy(synthesis = false, xlang = false, verify = false)
case LeonFlagOption("help") =>
displayHelp(reporter)
- case LeonFlagOption("noLuckyTests") =>
- Settings.luckyTest = false
case _ =>
}
--
GitLab