From f9ff188eef93e5f9ac9c8119d31b92b3dd10d37b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=96zg=C3=BCr=20Akg=C3=BCn?= Date: Thu, 15 Feb 2024 11:25:08 +0000 Subject: [PATCH 1/2] fix help text - ref #639 --- src/Conjure/UI.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/Conjure/UI.hs b/src/Conjure/UI.hs index ee152291c..ead32143f 100644 --- a/src/Conjure/UI.hs +++ b/src/Conjure/UI.hs @@ -1367,9 +1367,7 @@ ui = modes &= help "Line width for pretty printing.\nDefault: 120" } &= name "autoig" &= explicit - &= help "Generate an Essence model describing the instances of the problem class \ - \defined in the input Essence model.\n\ - \An error will be printed if the model has infinitely many instances." + &= help "Functionality to support the AutoIG workflow." , Boost { essence = def From 63a4b9244f3ae8c09ee260a4d3d4092ac323c7af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=96zg=C3=BCr=20Akg=C3=BCn?= Date: Thu, 15 Feb 2024 11:33:11 +0000 Subject: [PATCH 2/2] update test outputs --- docs/conjure-help.html | 2 +- docs/conjure-help.txt | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/conjure-help.html b/docs/conjure-help.html index fe8ad7b51..51b247958 100644 --- a/docs/conjure-help.html +++ b/docs/conjure-help.html @@ -220,7 +220,7 @@  --limit-time=INTLimit in seconds of real time.   conjure autoig [OPTIONS] ESSENCE_FILE OUTPUT_FILE -Generate an Essence model describing the instances of the problem class defined in the input Essence model.
An error will be printed if the model has infinitely many instances. +Functionality to support the AutoIG workflow.   Flags:  --generator-to-iraceConvert the givens in a hand written generator model to irace syntax. diff --git a/docs/conjure-help.txt b/docs/conjure-help.txt index e8d942a38..729e539ec 100644 --- a/docs/conjure-help.txt +++ b/docs/conjure-help.txt @@ -430,8 +430,7 @@ --limit-time=INT Limit in seconds of real time. conjure autoig [OPTIONS] ESSENCE_FILE OUTPUT_FILE - Generate an Essence model describing the instances of the problem class defined in the input Essence model. - An error will be printed if the model has infinitely many instances. + Functionality to support the AutoIG workflow. Flags: --generator-to-irace Convert the givens in a hand written generator model to irace syntax.