Z3 is not terminated when aborting verification for Carbon

[viper-admin]

Created by bitbucket user tierriminator on 2018-10-09 23:31
Last updated on 2018-10-09 23:42

When verifying a program with Carbon in the Viper IDE and aborting verification, the corresponding Z3 process will not be killed.

[viper-admin]

Bitbucket user tierriminator commented on 2018-10-09 23:42

This might actually be a duplicate of #86
My additional insight:

• Does not abort on Linux as well
• Does not terminate Z3 if pressed on stop, as well as when timing out
• Z3 can manually be terminated via SIGTERM (it does not need to be terminated via SIGKILL)

[rayman2000]

Similar issue is now tracked in #417