Add remark in readme on counterexamples

ftsrg · Aug 13, 2020 · 5b0822d · 5b0822d
1 parent 83e7dcb
commit 5b0822d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/subprojects/cfa-cli/README.md b/subprojects/cfa-cli/README.md
@@ -45,7 +45,7 @@ Note that the model must be given as the first positional argument (without `--m
 All arguments are optional, except `--model`.
 
 * `--model`: Path of the input CFA model (mandatory).
-* `--cex`: Output file where the counterexample is written (if the result is unsafe). If the argument is not given (default) the counterexample is not printed.
+* `--cex`: Output file where the counterexample is written (if the result is unsafe). If the argument is not given (default) the counterexample is not printed. Use `CON` (Windows) or `/dev/stdout` (Linux) as argument to print to the standard output.
 * `--loglevel`: Detailedness of logging.
     * Possible values (from the least to the most detailed): `RESULT`, `MAINSTEP`, `SUBSTEP` (default), `INFO`, `DETAIL`, `VERBOSE`.
 * `--domain`: Domain of the abstraction, possible values:

diff --git a/subprojects/sts-cli/README.md b/subprojects/sts-cli/README.md
@@ -40,6 +40,7 @@ Note that the model must be given as the first positional argument (without `--m
 All arguments are optional, except `--model`.
 
 * `--model`: Path of the input STS model (mandatory).
+* `--cex`: Output file where the counterexample is written (if the result is unsafe). If the argument is not given (default) the counterexample is not printed. Use `CON` (Windows) or `/dev/stdout` (Linux) as argument to print to the standard output.
 * `--loglevel`: Detailedness of logging.
     * Possible values (from the least to the most detailed): `RESULT`, `MAINSTEP`, `SUBSTEP` (default), `INFO`, `DETAIL`, `VERBOSE`
 * `--domain`: Domain of the abstraction, possible values: