Commit 9dfa626b authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[cmd] Clarify input_file argument

parent 1701cc95
......@@ -359,9 +359,8 @@ def main():
group.add_argument('final_prop', nargs='?',
help="Final property that will occur at the end of the simulation.")
group.add_argument('--input_file', action=ReadableFile, nargs='?',
help="Without input file, there will be only one process. "
"While there will be 1 process per line (per logical formula "
"on each line)")
help="Replace 'final_prop' argument by a file with 1 logical formula"
"per line. This allows the software to launch 1 process per formula.")
parser_input_file.add_argument('--output', action=ReadableDir, nargs='?',
default='result/', help="Output directory.")
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment