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

Fix two formula leaks.

Browse source 
* src/ltlvisit/simplify.cc (reduce_sere_ltl): Here.
* src/ltltest/reduccmp.test: Add a test case.
This commit is contained in:
Alexandre Duret-Lutz 2012-05-03 18:50:24 +02:00
parent 1f54581215
commit f5fea7484b
2 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/ltltest/reduccmp.test
View file

@ -329,6 +329,7 @@ for x in ../reduccmp ../reductaustr; do
run 0 $x '{a;(b[*2..4];c*;([*0]+{d;e}))*}!' \
'{a;(b[*2..4];c*;([*0]+{d;e}))*}!'
run 0 $x '{((a*;b)+[*0])[*4..6]}!' '{((a*;b))[*0..6]}!'
run 0 $x '{c[*];e[*]}[]-> a' '{c[*];e[*]}[]-> a'
;;
esac

2
src/ltlvisit/simplify.cc
View file

@ -1567,6 +1567,7 @@ namespace spot
result_ = recurse_destroy(result_);
return true;
}
r->destroy();
}
// {s[*];r}[]->b = !s R ({r}[]->b)
// if s is Boolean and r does not accept [*0];
@ -1588,6 +1589,7 @@ namespace spot
result_ = recurse_destroy(result_);
return true;
}
r->destroy();
}
// {r₁;r₂;r₃}[]->b = {r₁}[]->X({r₂}[]->X({r₃}[]->b))