From 5a074d0df8b329b5b3320bfcbd44fda598377738 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 23 Jun 2015 15:10:27 +0200
Subject: [PATCH] Make clear that repair uses synthesis options
---
doc/options.rst | 2 ++
src/main/scala/leon/synthesis/SynthesisPhase.scala | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/doc/options.rst b/doc/options.rst
index 368526aee..140e1e56f 100644
--- a/doc/options.rst
+++ b/doc/options.rst
@@ -197,6 +197,8 @@ Code extraction
Synthesis
*********
+These options are also used by repair during the synthesis stage.
+
* ``--cegis:opttimeout``
Consider a time-out of CE-search as untrusted solution.
diff --git a/src/main/scala/leon/synthesis/SynthesisPhase.scala b/src/main/scala/leon/synthesis/SynthesisPhase.scala
index 0fce45ccf..0287ec02e 100644
--- a/src/main/scala/leon/synthesis/SynthesisPhase.scala
+++ b/src/main/scala/leon/synthesis/SynthesisPhase.scala
@@ -13,7 +13,7 @@ import graph._
object SynthesisPhase extends LeonPhase[Program, Program] {
val name = "Synthesis"
- val description = "Partial synthesis of \"choose\" constructs"
+ val description = "Partial synthesis of \"choose\" constructs. Also used by repair during the synthesis stage."
val optManual = LeonStringOptionDef("manual", "Manual search", default = "", "cmd")
val optCostModel = LeonStringOptionDef("costmodel", "Use a specific cost model for this search", "FIXME", "cm")
--
GitLab