Z3 decRefs on context close fix#116

Merged

Saloed merged 2 commits intoUnitTestBot:mainfrom

dee-tree:z3-close-fix

Jun 10, 2023

Commits on Jun 9, 2023

z3 decref for converterNativeObjects on context close fix
dee-tree
committed
z3 decref for uninterpretedSortValue Decls/Interpreters on context close fix
dee-tree
committed