If a proof is terminated by issuing another proof task from an IDE, the TLAPM process is terminated with SIG-KILL. Still, the backend processes remain non-terminated (Isabelle, z3, and probably others).
Either the TLAPM process has to be interrupted more nicely, or the sub-processes should also be cleaned up.
kape1395
commented
9 months ago
This is on PR #93.
If a proof is terminated by issuing another proof task from an IDE, the TLAPM process is terminated with SIG-KILL. Still, the backend processes remain non-terminated (Isabelle, z3, and probably others).
Either the TLAPM process has to be interrupted more nicely, or the sub-processes should also be cleaned up.