From c899858239229bc032230f93a99bceebda1457fe Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 1 Jul 2015 16:35:44 +0200
Subject: [PATCH] Warn when manual search + timeout
---
src/main/scala/leon/synthesis/SynthesisPhase.scala | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/SynthesisPhase.scala b/src/main/scala/leon/synthesis/SynthesisPhase.scala
index 717adee74..3deeae2f0 100644
--- a/src/main/scala/leon/synthesis/SynthesisPhase.scala
+++ b/src/main/scala/leon/synthesis/SynthesisPhase.scala
@@ -29,10 +29,14 @@ object SynthesisPhase extends LeonPhase[Program, Program] {
def processOptions(ctx: LeonContext): SynthesisSettings = {
val ms = ctx.findOption(optManual)
+ val timeout = ctx.findOption(SharedOptions.optTimeout)
+ if (ms.isDefined && timeout.isDefined) {
+ ctx.reporter.warning("Defining timeout with manual search")
+ }
SynthesisSettings(
manualSearch = ms,
functions = ctx.findOption(SharedOptions.optFunctions) map { _.toSet },
- timeoutMs = ctx.findOption(SharedOptions.optTimeout) map { _ * 1000 },
+ timeoutMs = timeout map { _ * 1000 },
generateDerivationTrees = ctx.findOptionOrDefault(optDerivTrees),
cegisUseOptTimeout = ctx.findOption(optCEGISOptTimeout),
cegisUseShrink = ctx.findOption(optCEGISShrink),
--
GitLab