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

org: really fix the satmin.org example

Browse source 
* doc/org/satmin.org: Fix export.  We need both 'results: silent' and
'exports: both' for the code to be run and shown.
This commit is contained in:
Alexandre Duret-Lutz 2015-06-19 23:14:19 +02:00
parent 28c8666cf8
commit 5b72c5a064
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

@ -367,7 +367,7 @@ acceptance.
For our example, let us first generate a deterministic Rabin For our example, let us first generate a deterministic Rabin
automaton with [[http://www.ltl2dstar.de/][=ltl2dstar=]]. automaton with [[http://www.ltl2dstar.de/][=ltl2dstar=]].
#+BEGIN_SRC sh :results silent #+BEGIN_SRC sh :results silent :exports both
ltlfilt -f "FGa | FGb" -l | ltlfilt -f "FGa | FGb" -l |
ltl2dstar --ltl2nba=spin:ltl2tgba@-Ds --output-format=hoa - - > output.hoa ltl2dstar --ltl2nba=spin:ltl2tgba@-Ds --output-format=hoa - - > output.hoa
#+END_SRC #+END_SRC