only selectively kill child, not entire process group#2918

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

child_managementdiffblue/cbmc:child_managementCopy head branch name to clipboard