Actyx / banyan

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Avoid dropping non-packed branches

rklaehn opened this issue · comments

Currently, any branch that is sealed can be dropped in forget_except. But if you drop a branch that is in the non-packed part, you can never again pack it. So we must only drop blocks which are in the packed part. Unfortunately being in the packed part, unlike sealed, is not a local property.