Resolve warning about "never awaited" solve_async in test cases

Dekker1 · Dekker1 · commit c4fce6f82d6b · 2025-02-25T13:49:07.000+11:00
diff --git a/src/minizinc/instance.py b/src/minizinc/instance.py
@@ -192,6 +192,8 @@ def solve(
                 )
             return asyncio.run(coroutine)
         except RuntimeError as r:
+            coroutine.close()
+            del coroutine
             if "called from a running event loop" in r.args[0]:
                 raise RuntimeError(
                     "the synchronous MiniZinc Python `solve()` method was called from"

Original file line number	Diff line number	Diff line change
`@@ -192,6 +192,8 @@ def solve(`
`192`	`192`	`)`
`193`	`193`	`return asyncio.run(coroutine)`
`194`	`194`	`except RuntimeError as r:`
	`195`	`+ coroutine.close()`
	`196`	`+ del coroutine`
`195`	`197`	`if "called from a running event loop" in r.args[0]:`
`196`	`198`	`raise RuntimeError(`
`197`	`199`	"the synchronous MiniZinc Python `solve()` method was called from"