alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/org/satmin.org: Remove extra newlines (fixes #410).

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2020-05-18 17:08:40 +02:00
parent 208d0f7885
commit 579ff63817
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/satmin.org
View file

@ -190,7 +190,7 @@ dstar2tgba -D --stats='input(states=%S) output(states=%s, acc-sets=%a, det=%d)'
#+BEGIN_SRC sh :exports none #+BEGIN_SRC sh :exports none
ltlfilt --remove-wm -f 'G(F(!b & (X!a M (F!a & F!b))) U !b)' -l | ltlfilt --remove-wm -f 'G(F(!b & (X!a M (F!a & F!b))) U !b)' -l |
ltl2dstar --ltl2nba=spin:ltl2tgba@-Ds - - | ltl2dstar --ltl2nba=spin:ltl2tgba@-Ds - - |
dstar2tgba -D --stats=$arg dstar2tgba -D --stats=$arg | tr -d '\n'
#+END_SRC #+END_SRC
In the above command, =ltldo= is used to convert the LTL formula into In the above command, =ltldo= is used to convert the LTL formula into