search

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers
https://ksmt.io/
Apache License 2.0
30 stars 14 forks source link

Z3 decRefs on context close fix #116

Closed dee-tree closed 1 year ago

dee-tree commented 1 year ago

Added missing decRefs on uninterpretedSortValueDecls, uninterpretedSortValueInterpreters, converterNativeObjects. Without this, native context closing sometimes lasted forever.