From 32a4647d03d399441d0b251a96eb918537af5e31 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 10 Nov 2009 15:10:46 +0100
Subject: [PATCH] Ease debugging of LTL formulae leaks.

* src/tgbatest/ltl2tgba.cc: Dump all LTLinstances with their
reference count.
---
 ChangeLog                | 7 +++++++
 src/tgbatest/ltl2tgba.cc | 5 +++++
 2 files changed, 12 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 19aa80c00..48becd8b5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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>
 
 	Introduce tgba_explicit_labelled<label> so that we can build
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 1db9521a2..7535569c5 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -961,6 +961,11 @@ main(int argc, char** argv)
       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::unop::instance_count() == 0);
   assert(spot::ltl::binop::instance_count() == 0);