Clear the timer map to help valgrind.

* src/misc/timer.hh (reset_all): New method.
* iface/dve2/dve2check.cc: Use it to help valgrind.

ChangeLog

+2011-03-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Clear the timer map to help valgrind.
+
+	* src/misc/timer.hh (reset_all): New method.
+	* iface/dve2/dve2check.cc: Use it to help valgrind.
+
 2011-03-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Some documentation of about the dve2 interface.

iface/dve2/dve2check.cc

@@ -306,6 +306,7 @@ main(int argc, char **argv)
 
   if (use_timer)
     tm.print(std::cout);
+  tm.reset_all();		// This helps valgrind.
 
   spot::ltl::atomic_prop::dump_instances(std::cerr);
   spot::ltl::unop::dump_instances(std::cerr);

src/misc/timer.hh

-// Copyright (C) 2009 Laboratoire de Recherche et Développement
+// Copyright (C) 2009, 2011 Laboratoire de Recherche et Developpement
 // de l'Epita (LRDE).
 // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -191,6 +191,13 @@ namespace spot
     std::ostream&
     print(std::ostream& os) const;
 
+    /// \brief Remove information about all timers.
+    void
+    reset_all()
+    {
+      tm.clear();
+    }
+
   protected:
     typedef std::pair<spot::timer, int> item_type;
     typedef std::map<std::string, item_type> tm_type;
@@ -200,4 +207,4 @@ namespace spot
   /// @}
 }
 
-#endif // SPOT_MISC_ESCAPE_HH
+#endif // SPOT_MISC_TIMER_HH