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

* src/sanity/80columns.test: Check the iface/ tree too.

Browse source 
* iface/gspn/dcswaveltl.test, iface/gspn/dcswavefm.test,
iface/gspn/dcswaveeltl.test, iface/gspn/udcsltl.test,
iface/gspn/udcseltl.test, iface/gspn/udcsfm.test,
iface/gspn/udcsefm.test: Wrap to fit 80 columns.
This commit is contained in:
Alexandre Duret-Lutz 2004-05-21 11:46:22 +00:00
parent 9329ea177d
commit da2d2e19b1
9 changed files with 97 additions and 53 deletions
Download patch file Download diff file Expand all files Collapse all files

24
iface/gspn/udcseltl.test
View file

@ -2,21 +2,25 @@
. ./defs || exit 1
set -e
cp -R $srcdir/examples/udcs .
chmod +w udcs
# F(ReP1 => F(gsP1)) is false
../ltlgspn-srg -c -l -e udcs/udcs 'F(ReP1 => F(gsP1))' ReP1 gsP1 > output
test $? = 1 || exit 1
../ltlgspn-srg -c -l -e2 udcs/udcs 'F(ReP1 => F(gsP1))' ReP1 gsP1 > output
test $? = 1 || exit 1
../ltlgspn-srg -c -l -e udcs/udcs \
'F(ReP1 => F(gsP1))' ReP1 gsP1 >output && exit 1
../ltlgspn-srg -c -l -e2 udcs/udcs \
'F(ReP1 => F(gsP1))' ReP1 gsP1 >output && exit 1
# !F(ReP1 => F(gsP1)) is true
../ltlgspn-srg -c -l -e udcs/udcs '!F(ReP1 => F(gsP1))' ReP1 gsP1 > output || exit 1
../ltlgspn-srg -c -l -e2 udcs/udcs '!F(ReP1 => F(gsP1))' ReP1 gsP1 > output || exit 1
../ltlgspn-srg -c -l -e udcs/udcs '!F(ReP1 => F(gsP1))' ReP1 gsP1 >output
../ltlgspn-srg -c -l -e2 udcs/udcs '!F(ReP1 => F(gsP1))' ReP1 gsP1 >output
# !G(ReP1 => F(gsP1)) is false
../ltlgspn-srg -c -l -e udcs/udcs '!G(ReP1 => F(gsP1))' ReP1 gsP1 > output
test $? = 1 || exit 1
../ltlgspn-srg -c -l -e2 udcs/udcs '!G(ReP1 => F(gsP1))' ReP1 gsP1 > output
test $? = 1 || exit 1
../ltlgspn-srg -c -l -e udcs/udcs \
'!G(ReP1 => F(gsP1))' ReP1 gsP1 >output && exit 1
../ltlgspn-srg -c -l -e2 udcs/udcs \
'!G(ReP1 => F(gsP1))' ReP1 gsP1 >output && exit 1
: