As brought up in https://github.com/goblint/GobPie/pull/34#discussion_r885902886, it is unclear what's the exact threading setup Magpie uses. A fixed size thread pool could therefore prevent new analyze calls from aborting the old ones because they won't even run before the old ones finish.
We need to figure out exactly what sort of threading Magpie does and what threads the analyze calls are executed in. That is to both ensure aborting always can abort and also that GobPie itself doesn't contain concurrency issues.
As brought up in https://github.com/goblint/GobPie/pull/34#discussion_r885902886, it is unclear what's the exact threading setup Magpie uses. A fixed size thread pool could therefore prevent new analyze calls from aborting the old ones because they won't even run before the old ones finish.
We need to figure out exactly what sort of threading Magpie does and what threads the analyze calls are executed in. That is to both ensure aborting always can abort and also that GobPie itself doesn't contain concurrency issues.