Do not kill parent processes when CBMC is killed#319

Closed

PhilippWendler wants to merge 3 commits intodiffblue:developfrom

sosy-lab:signal-handling

Commits on Jan 4, 2012

Release 4.1
kroening
committed

Commits on Nov 23, 2016

bug#105: Proper signal handling and process group killing

tautschnig
authored and
PhilippWendler
committed

Commits on Nov 24, 2016

Merge commit '446c3d317fbce0de2c5c9ba9aad9eb514c52daab' into signal-handling
PhilippWendler
committed