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

Ease debugging of LTL formulae leaks.

Browse source 
* src/tgbatest/ltl2tgba.cc: Dump all LTLinstances with their
reference count.
This commit is contained in:
Alexandre Duret-Lutz 2009-11-10 15:10:46 +01:00
parent 4e22bb8b09
commit 32a4647d03
2 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2009-11-10 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Ease debugging of LTL formulae leaks.
* src/tgbatest/ltl2tgba.cc: Dump all LTLinstances with their
reference count.
2009-11-10 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2009-11-10 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Introduce tgba_explicit_labelled<label> so that we can build Introduce tgba_explicit_labelled<label> so that we can build

5
src/tgbatest/ltl2tgba.cc
View file

@ -961,6 +961,11 @@ main(int argc, char** argv)
delete unobservables; delete unobservables;
} }
spot::ltl::atomic_prop::dump_instances(std::cerr);
spot::ltl::unop::dump_instances(std::cerr);
spot::ltl::binop::dump_instances(std::cerr);
spot::ltl::multop::dump_instances(std::cerr);
spot::ltl::automatop::dump_instances(std::cerr);
assert(spot::ltl::atomic_prop::instance_count() == 0); assert(spot::ltl::atomic_prop::instance_count() == 0);
assert(spot::ltl::unop::instance_count() == 0); assert(spot::ltl::unop::instance_count() == 0);
assert(spot::ltl::binop::instance_count() == 0); assert(spot::ltl::binop::instance_count() == 0);