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

* src/tgbatest/ltl2tgba.cc: Fix lines longer than 80 chars.

Browse source 
* src/sanity/80columns.test: Use expand to untabify, the previous
recipe was incomplete.
This commit is contained in:
Alexandre Duret-Lutz 2004-10-29 12:31:13 +00:00
parent 720a31c128
commit 8c0b085d73
3 changed files with 13 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,5 +1,9 @@
2004-10-29 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/ltl2tgba.cc: Fix lines longer than 80 chars.
* src/sanity/80columns.test: Use expand to untabify, the previous
recipe was incomplete.
* src/tgbaalgos/replayrun.cc (replay_tgba_run): Note duplicate states.
* src/tgbaalgos/replayrun.cc (replay_tgba_run): Verify the run is

14
src/sanity/80columns.test
View file

@ -4,18 +4,6 @@
set -e
untabify()
{
perl -pe 's/^((.{8})*)\t/$1 /g;
s/^(.(.{8})*)\t/$1 /g;
s/^(..(.{8})*)\t/$1 /g;
s/^(...(.{8})*)\t/$1 /g;
s/^(....(.{8})*)\t/$1 /g;
s/^(.....(.{8})*)\t/$1 /g;
s/^(......(.{8})*)\t/$1 /g;
s/^(.......(.{8})*)\t/$1 /g;' $1
}
rm -f failures
for dir in "${INCDIR-..}" "${INCDIR-..}"/../iface; do
@ -24,7 +12,7 @@ for dir in "${INCDIR-..}" "${INCDIR-..}"/../iface; do
-o -name "${1-*}.test" \) -a -type f -a -print |
while read file; do
x='........................................'
if (untabify $file | grep -q $x.$x) 2>/dev/null; then
if (expand $file | grep -q $x.$x) 2>/dev/null; then
if grep 'GNU Bison' "$file" >/dev/null ||
grep 'generated by flex' "$file" >/dev/null ; then
:

6
src/tgbatest/ltl2tgba.cc
View file

@ -445,12 +445,14 @@ main(int argc, char** argv)
if (reduc_aut & (spot::Reduce_quotient_Dir_Sim |
spot::Reduce_transition_Dir_Sim))
rel_dir = spot::get_direct_relation_simulation(a,
rel_dir =
spot::get_direct_relation_simulation(a,
std::cout,
display_parity_game);
else if (reduc_aut & (spot::Reduce_quotient_Del_Sim |
spot::Reduce_transition_Del_Sim))
rel_del = spot::get_delayed_relation_simulation(a,
rel_del =
spot::get_delayed_relation_simulation(a,
std::cout,
display_parity_game);