60-cpachecker-should-be-interrupted-on-abort-instead-of-killed (!48) · Merge requests · SoSy-Lab / Software / CPAchecker IntelliJ Plugin · GitLab

Tharsanan Kurukulasingam requested to merge 60-cpachecker-should-be-interrupted-on-abort-instead-of-killed into master Aug 13, 2019

Closes #60 (closed)