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

ltldo.org: Fix first examples

Browse source 
Fixes #210.

* doc/org/ltldo.org: Actually execute the code writing sample.ltl, and
remove the file once it is not used anymore.
This commit is contained in:
Alexandre Duret-Lutz 2017-01-27 20:06:19 +01:00
parent a4b575db1c
commit 0ada5900de
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
doc/org/ltldo.org
View file

@ -26,7 +26,7 @@ Büchi automaton produced by =ltl3ba=.
Here is the input file: Here is the input file:
#+BEGIN_SRC sh :results verbatim :exports code #+BEGIN_SRC sh :results silent :exports both
cat >sample.ltl <<EOF cat >sample.ltl <<EOF
1 1
1 U a 1 U a
@ -289,6 +289,10 @@ ltl3ba,4,7
Much more readable! Much more readable!
#+BEGIN_SRC sh :results silent :exports results
rm -f sample.ltl
#+END_SRC
* Shorthands for existing tools * Shorthands for existing tools
There is a list of existing tools for which =ltldo= (and =ltlcross=) There is a list of existing tools for which =ltldo= (and =ltlcross=)