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

ltlsynt: fix --help output for common Input options

Browse source 
* bin/common_finput.cc (argp): Declare all options in section 1.
This commit is contained in:
Alexandre Duret-Lutz 2021-10-09 21:28:52 +02:00
parent 82d4fc8ed9
commit 1eb18f4b83
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
bin/common_finput.cc
View file

@ -37,16 +37,16 @@ static bool lenient = false;
static const argp_option options[] =
{
{ nullptr, 0, nullptr, 0, "Input options:", 1 },
{ "formula", 'f', "STRING", 0, "process the formula STRING", 0 },
{ "formula", 'f', "STRING", 0, "process the formula STRING", 1 },
{ "file", 'F', "FILENAME[/COL]", 0,
"process each line of FILENAME as a formula; if COL is a "
"positive integer, assume a CSV file and read column COL; use "
"a negative COL to drop the first line of the CSV file", 0 },
"a negative COL to drop the first line of the CSV file", 1 },
{ "lbt-input", OPT_LBT, nullptr, 0,
"read all formulas using LBT's prefix syntax", 0 },
"read all formulas using LBT's prefix syntax", 1 },
{ "lenient", OPT_LENIENT, nullptr, 0,
"parenthesized blocks that cannot be parsed as subformulas "
"are considered as atomic properties", 0 },
"are considered as atomic properties", 1 },
{ nullptr, 0, nullptr, 0, nullptr, 0 }
};