Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 2f095e20 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[cmd] Clarify input_file argument

parent d078bf61
......@@ -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.")
......
Markdown is supported
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