Deletion issues
The internal bdd table has stores information which can be deleted externally, such as the structure (which in some case happens to be deleted during modelexpansion cleanup).
Comments (10)
-
reporter -
reporter Temporary bugfix in bddinternalpredtable refs
#244→ <<cset 72ed31a140ce>>
-
reporter Temporary bugfix in bddinternalpredtable refs
#244→ <<cset 49318216ca33>>
-
reporter Temporary bugfix in bddinternalpredtable refs
#244→ <<cset 0c0c812049c8>>
-
reporter Temporary bugfix in bddinternalpredtable refs
#244→ <<cset 2b2acbe6e0e3>>
-
reporter Temporary bugfix in bddinternalpredtable refs
#244→ <<cset 317e525f2377>>
-
reporter Refs
#244: Calculatedefinitions did not delete its datastructures when no model was found.→ <<cset 9baad64bd2e4>>
-
reporter Temporary bugfix in bddinternalpredtable refs
#244→ <<cset c80b3fb36ac7>>
-
reporter -
assigned issue to
-
assigned issue to
-
reporter - changed status to resolved
Many memory issues have been resolved by now (not all, but there does not have to remain a perpetual issue for this).
- Log in to comment
More deletion issues: universes hold sorttables which are deleted when deleting the structure, even if the universe is still hanging around.