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

More * -> & replacements.

Browse source 
* src/ltltest/parse.test, src/ltltest/syntimpl.test: Replace * by &.
This commit is contained in:
Alexandre Duret-Lutz 2010-01-30 13:21:01 +01:00
parent dd71e37df2
commit 24cde3c21f
3 changed files with 17 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -1,3 +1,9 @@
2010-01-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
More * -> & replacements.
* src/ltltest/parse.test, src/ltltest/syntimpl.test: Replace * by &.
2010-01-30 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2010-01-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Remove the theoretically bogus "containment" option of ltl2tgba_fm. Remove the theoretically bogus "containment" option of ltl2tgba_fm.

8
src/ltltest/parse.test
View file

@ -1,5 +1,5 @@
#! /bin/sh #! /bin/sh
# Copyright (C) 2009 Laboratoire de Recherche et Développement # Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement
# de l'Epita (LRDE). # de l'Epita (LRDE).
# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), # Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
# département Systèmes Répartis Coopératifs (SRC), Université Pierre # département Systèmes Répartis Coopératifs (SRC), Université Pierre
@ -38,7 +38,7 @@ for f in \
'p11011' \ 'p11011' \
'(p11011)' \ '(p11011)' \
'a & b' \ 'a & b' \
'a * _b12' \ 'a & _b12' \
'a . b' \ 'a . b' \
'a + b' \ 'a + b' \
'a3214 | b' \ 'a3214 | b' \
@ -67,10 +67,10 @@ for f in \
'()b' \ '()b' \
'long_atomic_proposition_1 U long_atomic_proposition_2' \ 'long_atomic_proposition_1 U long_atomic_proposition_2' \
' ab & ac | ad ^ af' \ ' ab & ac | ad ^ af' \
'((b * a) + a) & d' \ '((b & a) + a) & d' \
'(ab & ac | ad ) <=> af ' \ '(ab & ac | ad ) <=> af ' \
'a U b U c U d U e U f U g U h U i U j U k U l U m' \ 'a U b U c U d U e U f U g U h U i U j U k U l U m' \
'(ab * !Xad + ad U ab) & FG p12 /\ GF p13' \ '(ab & !Xad + ad U ab) & FG p12 /\ GF p13' \
'((([]<>()p12)) )' \ '((([]<>()p12)) )' \
'a R ome V anille' \ 'a R ome V anille' \
'p=0Uq=1' \ 'p=0Uq=1' \

14
src/ltltest/syntimpl.test
View file

@ -1,5 +1,5 @@
#! /bin/sh #! /bin/sh
# Copyright (C) 2009 Laboratoire de Recherche et Développement # Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement
# de l'Epita (LRDE). # de l'Epita (LRDE).
# Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), # Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
# département Systèmes Répartis Coopératifs (SRC), Université Pierre # département Systèmes Répartis Coopératifs (SRC), Université Pierre
@ -48,10 +48,10 @@ run 1 ../syntimpl 0 '0' '0'
run 1 ../syntimpl 0 'a' '1' run 1 ../syntimpl 0 'a' '1'
run 1 ../syntimpl 0 'a' 'a' run 1 ../syntimpl 0 'a' 'a'
run 1 ../syntimpl 0 'a' 'a * 1' run 1 ../syntimpl 0 'a' 'a & 1'
run 1 ../syntimpl 0 'a * b' 'b' run 1 ../syntimpl 0 'a & b' 'b'
run 1 ../syntimpl 0 'a * b' 'a' run 1 ../syntimpl 0 'a & b' 'a'
run 1 ../syntimpl 0 'a' 'a + b' run 1 ../syntimpl 0 'a' 'a + b'
run 1 ../syntimpl 0 'b' 'a + b' run 1 ../syntimpl 0 'b' 'a + b'
@ -73,7 +73,7 @@ run 1 ../syntimpl 0 'X(a R b)' 'Xb'
run 1 ../syntimpl 0 'a U b' '1 U b' run 1 ../syntimpl 0 'a U b' '1 U b'
run 1 ../syntimpl 0 'a R b' '1 R b' run 1 ../syntimpl 0 'a R b' '1 R b'
run 1 ../syntimpl 0 'b * (a U b)' 'a U b' run 1 ../syntimpl 0 'b & (a U b)' 'a U b'
run 1 ../syntimpl 0 'a U b' 'c + (a U b)' run 1 ../syntimpl 0 'a U b' 'c + (a U b)'
run 0 ../syntimpl 0 'Xa' 'XX(b U a)' run 0 ../syntimpl 0 'Xa' 'XX(b U a)'
@ -85,8 +85,8 @@ run 0 ../syntimpl 0 '( X(a + b)) U (e R f)' '( X(X(a + b)+(c)+(d))) U (g U f)'
run 0 ../syntimpl 0 'a' 'b' run 0 ../syntimpl 0 'a' 'b'
run 0 ../syntimpl 0 'a' 'b + c' run 0 ../syntimpl 0 'a' 'b + c'
run 0 ../syntimpl 0 'a + b' 'a' run 0 ../syntimpl 0 'a + b' 'a'
run 0 ../syntimpl 0 'a' 'a * c' run 0 ../syntimpl 0 'a' 'a & c'
run 0 ../syntimpl 0 'a * b' 'c' run 0 ../syntimpl 0 'a & b' 'c'
run 0 ../syntimpl 0 'a' 'a U b' run 0 ../syntimpl 0 'a' 'a U b'
run 0 ../syntimpl 0 'a' 'a R b' run 0 ../syntimpl 0 'a' 'a R b'
run 0 ../syntimpl 0 'a R b' 'a' run 0 ../syntimpl 0 'a R b' 'a'