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

Fix a memory leak in randltl.

Browse source 
* src/ltltest/randltl.cc: Free the atomic properties from AP
before exit.
This commit is contained in:
Alexandre Duret-Lutz 2009-09-07 14:34:07 +02:00
parent edd4b2b532
commit 058bb83c6d
2 changed files with 16 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2009-09-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix a memory leak in randltl.
* src/ltltest/randltl.cc: Free the atomic properties from AP
before exit.
2009-09-04 Damien Lefortier <dam@lrde.epita.fr> 2009-09-04 Damien Lefortier <dam@lrde.epita.fr>
Add an algorithm (from Couvreur) working on BDDs to reduce the Add an algorithm (from Couvreur) working on BDDs to reduce the

10
src/ltltest/randltl.cc
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003, 2005, 2008 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2003, 2005, 2008, 2009 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
// //
@ -217,5 +217,13 @@ main(int argc, char** argv)
} }
} }
} }
spot::ltl::atomic_prop_set::const_iterator i = ap->begin();
while (i != ap->end())
{
spot::ltl::atomic_prop_set::const_iterator j = i;
++i;
spot::ltl::destroy(*j);
}
delete ap; delete ap;
} }