fix use-after-free in congruence closure gate table updates#162
Open
sfiruch wants to merge 2 commits into
Open
fix use-after-free in congruence closure gate table updates#162sfiruch wants to merge 2 commits into
sfiruch wants to merge 2 commits into
