search

hbgit / depthk

K-Induction adopting program invariants
GNU General Public License v2.0
8 stars 1 forks source link

DepthK does not kill the process after CTRL+C #4

Open lucasccordeiro opened 7 years ago

lucasccordeiro commented 7 years ago

If we run

$./depthk.py -g output.c

and after a few seconds we type CTRL+C, then DepthK stops running but the process related to PAGAI continues executing in the background (see attached program).