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

org: fix multiple examples

Browse source 
I have to remember that org-mode does not evaluate something unless it
is eventually exported.

* doc/org/hoa.org, doc/org/ioltl.org, doc/org/tut21.org,
doc/org/tut30.org: Adjust exports commands.
This commit is contained in:
Alexandre Duret-Lutz 2015-10-20 14:26:57 +02:00
parent cd8e53de09
commit c7d063aaa0
4 changed files with 13 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

9
doc/org/hoa.org
View file

@ -112,7 +112,7 @@ acceptance are pushed onto the outgoing transitions.
So an automaton represented as an HOA file with this transition
structure:
#+BEGIN_SRC sh :results verbatim :exports none
#+BEGIN_SRC sh :results silent :exports results
cat >stvstracc.hoa <<EOF
HOA: v1
States: 3
@ -120,13 +120,16 @@ Start: 0
AP: 2 "p0" "p1"
Acceptance: 2 Inf(0)&Inf(1)
--BODY--
/* state-based acceptance */
State: 0 {0 1}
[0&!1] 0
[0&1] 1
[!0] 2
/* mixed state- and transition-based acceptance */
State: 1 {0}
[0] 1 {1}
[0&1] 2
/* transition-based acceptance */
State: 2
[!0] 1 {0}
[0] 2 {1}
@ -177,7 +180,7 @@ State: 2
[0] 2 {1}
#+end_example
#+BEGIN_SRC sh :results verbatim :exports none
#+BEGIN_SRC sh :results silent :exports results
rm -f stvstracc.hoa
#+END_SRC
@ -289,7 +292,7 @@ State: 2
--END--
#+end_example
#+BEGIN_SRC sh :results verbatim :exports nond\e
#+BEGIN_SRC sh :results silent :exports results
rm sba.hoa
#+END_SRC

2
doc/org/ioltl.org
View file

@ -225,7 +225,7 @@ wc -l example-*.ltl
: 1 example-5.ltl
: 5 total
#+BEGIN_SRC sh :results verbatim :exports none
#+BEGIN_SRC sh :results silent :exports results
rm -f example-*.ltl
#+END_SRC
#+RESULTS:

2
doc/org/tut21.org
View file

@ -158,6 +158,6 @@ State 3:
#+end_example
#+BEGIN_SRC sh :results verbatim :exports none
#+BEGIN_SRC sh :results silent :exports results
rm -f tut21.hoa
#+END_SRC

6
doc/org/tut30.org
View file

@ -5,7 +5,7 @@
Consider the following Rabin automaton, generated by =ltl2dstar=:
#+BEGIN_SRC sh :results verbatim :exports code
#+BEGIN_SRC sh :results silent :exports both
ltldo ltl2dstar -f 'F(Xp1 xor XXp1)' -H > tut30.hoa
#+END_SRC
@ -286,3 +286,7 @@ State: 4
[0] 4
--END--
#+end_example
#+BEGIN_SRC sh :results silent :exports results
rm -f tut30.hoa
#+END_SRC