only selectively kill child, not entire process group#2918

Merged

kroening merged 1 commit intodevelopfrom

child_management

Sep 18, 2018

Commits on Sep 13, 2018

only selectively kill child, not entire process group
Daniel Kroening
committed