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

* src/misc/bddalloc.cc (bdd_allocator::initialize):

Browse source 
Disable the default GC handler.  Reported by
Kristin Yvonne Rozier <kyrozier@cs.rice.edu>.
This commit is contained in:
Alexandre Duret-Lutz 2007-09-19 19:52:49 +00:00
parent 894c864fd5
commit 089c315c28
2 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/misc/bddalloc.cc
View file

@ -25,6 +25,7 @@
namespace spot
{
bool bdd_allocator::initialized = false;
bdd_allocator::bdd_allocator()
@ -49,6 +50,10 @@ namespace spot
// for large examples advocated by the BuDDy manual.
bdd_init(1000000, 10000);
bdd_setvarnum(2);
// Disable the default GC handler. (Note that this will only be
// done if Buddy is initialized by Spot. Otherwise we prefer not
// to overwrite a handler that might have been set by the user.)
bdd_gbc_hook(0);
}
void