From 51636bc9e337eac81e20e32bb25e11effb4403c9 Mon Sep 17 00:00:00 2001 From: Florian Renkin Date: Mon, 15 Nov 2021 10:20:25 +0100 Subject: [PATCH] ltlsynt.cc: Correct help * bin/ltlsynt.cc: Change "sd" to "lar" as default algorithm in the doc. --- bin/ltlsynt.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc index bd15d9be5..57b67bcc0 100644 --- a/bin/ltlsynt.cc +++ b/bin/ltlsynt.cc @@ -71,12 +71,12 @@ static const argp_option options[] = { nullptr, 0, nullptr, 0, "Fine tuning:", 10 }, { "algo", OPT_ALGO, "sd|ds|ps|lar|lar.old", 0, "choose the algorithm for synthesis:" - " \"sd\": translate to tgba, split, then determinize (default);" + " \"sd\": translate to tgba, split, then determinize;" " \"ds\": translate to tgba, determinize, then split;" " \"ps\": translate to dpa, then split;" " \"lar\": translate to a deterministic automaton with arbitrary" " acceptance condition, then use LAR to turn to parity," - " then split;" + " then split (default);" " \"lar.old\": old version of LAR, for benchmarking.\n", 0 }, { "decompose", OPT_DECOMPOSE, "yes|no", 0, "whether to decompose the specification as multiple output-disjoint "