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

org: fix never claim example

Browse source 
* doc/org/concepts.org: Enlarge the width of the output of pr so that
the output is not truncated.  It add a missing closing brace.
This commit is contained in:
Alexandre Duret-Lutz 2016-05-17 20:57:14 +02:00
parent ce5da5cdbf
commit 7c1a94721b
1 changed files with 20 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

40
doc/org/concepts.org
View file

@ -569,30 +569,30 @@ $txt
#+BEGIN_SRC sh :results verbatim :exports results #+BEGIN_SRC sh :results verbatim :exports results
ltl2tgba -s 'p0 | GFp1' > tmp.$$ ltl2tgba -s 'p0 | GFp1' > tmp.$$
ltl2tgba -s6 'p0 | GFp1' | pr -m -t tmp.$$ - ltl2tgba -s6 'p0 | GFp1' | pr -w80 -m -t tmp.$$ -
#+END_SRC #+END_SRC
#+RESULTS: #+RESULTS:
#+begin_example #+begin_example
never { /* p0 | GFp1 */ never { /* p0 | GFp1 */ never { /* p0 | GFp1 */ never { /* p0 | GFp1 */
T0_init: T0_init: T0_init: T0_init:
if do if do
:: (p0) -> goto accept_all :: atomic { (p0) -> assert(!(p0)) :: (p0) -> goto accept_all :: atomic { (p0) -> assert(!(p0)) }
:: (!(p0)) -> goto accept_S2 :: (!(p0)) -> goto accept_S2 :: (!(p0)) -> goto accept_S2 :: (!(p0)) -> goto accept_S2
fi; od; fi; od;
accept_S2: accept_S2: accept_S2: accept_S2:
if do if do
:: (p1) -> goto accept_S2 :: (p1) -> goto accept_S2 :: (p1) -> goto accept_S2 :: (p1) -> goto accept_S2
:: (!(p1)) -> goto T0_S3 :: (!(p1)) -> goto T0_S3 :: (!(p1)) -> goto T0_S3 :: (!(p1)) -> goto T0_S3
fi; od; fi; od;
T0_S3: T0_S3: T0_S3: T0_S3:
if do if do
:: (p1) -> goto accept_S2 :: (p1) -> goto accept_S2 :: (p1) -> goto accept_S2 :: (p1) -> goto accept_S2
:: (!(p1)) -> goto T0_S3 :: (!(p1)) -> goto T0_S3 :: (!(p1)) -> goto T0_S3 :: (!(p1)) -> goto T0_S3
fi; od; fi; od;
accept_all: accept_all: accept_all: accept_all:
skip skip skip skip
} } } }
#+end_example #+end_example
#+NAME: never-ex1 #+NAME: never-ex1