alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* bin/ltlsynt.cc: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2019-10-07 20:22:24 +02:00
parent 878ef6e084
commit 74d1ec2bff
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bin/ltlsynt.cc
View file

@ -71,7 +71,7 @@ static const argp_option options[] =
" propositions", 0}, " propositions", 0},
/**************************************************/ /**************************************************/
{ nullptr, 0, nullptr, 0, "Fine tuning:", 10 }, { nullptr, 0, nullptr, 0, "Fine tuning:", 10 },
{ "algo", OPT_ALGO, "ds|sd|large", 0, { "algo", OPT_ALGO, "ds|sd|lar", 0,
"choose the algorithm for synthesis:\n" "choose the algorithm for synthesis:\n"
" - sd: split then determinize with Safra (default)\n" " - sd: split then determinize with Safra (default)\n"
" - ds: determinize (Safra) then split\n" " - ds: determinize (Safra) then split\n"