From 261b073ae7dd531b6f9672749c6415ebf24925dd Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 31 Aug 2014 17:01:49 +0200 Subject: [PATCH] * doc/org/ltlcross.org: Typos. --- doc/org/ltlcross.org | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org index aff718f97..8c626e2e1 100644 --- a/doc/org/ltlcross.org +++ b/doc/org/ltlcross.org @@ -136,11 +136,11 @@ tools: - '=ltl2tgba --lbtt %s >%T=' (smaller output, TGBA) - '=ltl2tgba --lbtt -D %s >%T=' (more deterministic output, TGBA) - '=lbt <%L >%T=' - - '=ltl2dstar --ltl2nba=spin:path/tp/ltl2tgba@-sD %L %D=' + - '=ltl2dstar --ltl2nba=spin:path/to/ltl2tgba@-sD %L %D=' (deterministic Rabin output) - - '=ltl2dstar --automata=streett --ltl2nba=spin:path/tp/ltl2tgba@-sD + - '=ltl2dstar --automata=streett --ltl2nba=spin:path/to/ltl2tgba@-sD %L %D=' (deterministic Streett output) - - '=ltl2dstar --ltl2nba=spin:path/tp/ltl2tgba@-sD %L - | dstar2tgba + - '=ltl2dstar --ltl2nba=spin:path/to/ltl2tgba@-sD %L - | dstar2tgba -s >%N=' (external conversion from Rabin to Büchi done by =dstar2tgba= for more reduction of the Büchi automaton than what =ltlcross= would provide)