From: Martin Quinson Date: Sun, 1 Sep 2019 00:12:09 +0000 (+0200) Subject: doc: specify that ltl2ba is not part of SimGrid X-Git-Tag: v3.24~119 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ca8fbdba1825e90f144aae4100cf84b70535fad4?ds=inline doc: specify that ltl2ba is not part of SimGrid --- diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst index e05bfc3aa6..f1360d2dad 100644 --- a/docs/source/Configuring_SimGrid.rst +++ b/docs/source/Configuring_SimGrid.rst @@ -520,8 +520,8 @@ Specifying a liveness property If you want to specify liveness properties, you have to pass them on the command line, specifying the name of the file containing the -property, as formatted by the ltl2ba program. - +property, as formatted by the ltl2ba program. Note that ltl2ba is not +part of SimGrid and must be installed separatly. .. code-block:: shell