Z3 process not killed when replacing by blaster with sorry #99
Description
Related to: #31
When replacing by blaster with sorry, the running Z3 process is not killed. Processes accumulate over time and have to be killed manually or by closing the editor entirely.
Other modifications that remove blaster (such as replacing with by sorry or adding a timeout) do kill the process.
Reproduced on both neovim v0.11.5 and VSCode v1.109.4.