Yices: stop timer on solver close (#103)

Saloed · web-flow · commit e8a65e19b082 · 2023-04-24T18:13:44.000+03:00
diff --git a/ksmt-yices/src/main/kotlin/org/ksmt/solver/yices/KYicesSolver.kt b/ksmt-yices/src/main/kotlin/org/ksmt/solver/yices/KYicesSolver.kt
@@ -179,6 +179,7 @@ class KYicesSolver(private val ctx: KContext) : KSolver<KYicesSolverConfiguratio
     override fun close() {
         nativeContext.close()
         yicesCtx.close()
+        timer.cancel()
     }
 
     private inner class StopSearchTask : TimerTask() {

Original file line number	Diff line number	Diff line change
`@@ -179,6 +179,7 @@ class KYicesSolver(private val ctx: KContext) : KSolver<KYicesSolverConfiguratio`
`179`	`179`	`override fun close() {`
`180`	`180`	`nativeContext.close()`
`181`	`181`	`yicesCtx.close()`
	`182`	`+ timer.cancel()`
`182`	`183`	`}`
`183`	`184`
`184`	`185`	`private inner class StopSearchTask : TimerTask() {`