AF3 crashes when a CProver analysis is canceled or timeouted on MacOS.
On MacOS, everytime the cbmc process is killed (Process.destroy() - in case of a cancel request or a timeout), AF3 and the whole jvm is killed as well (probably cbmc kills all processes in it’s process grou
For Linux systems we found a solution using the setsid command to run cbmc in its own process grou However, this command is not available on MacOS.
(from redmine: issue id 1669, created on 2013-09-02, closed on 2013-09-26)