Commit bdb86996 authored by Arthur Bit-Monnot's avatar Arthur Bit-Monnot

Clean up Z3 resources when the solver is garbage collected.

parent 38640f20
......@@ -95,6 +95,8 @@ class Z3PartialSolver[X](_ast: RootedLazyTree[X, Total, cats.Id]) extends Partia
}
}
override def finalize(): Unit = ctx.close()
private val solver = ctx.mkSolver()
solver.add(satProblem)
var model: Model = null
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment