Do not kill parent processes when CBMC is killed#319
Closed
PhilippWendler wants to merge 3 commits intodiffblue:developfrom
Closed
Do not kill parent processes when CBMC is killed#319PhilippWendler wants to merge 3 commits intodiffblue:developfrom
PhilippWendler wants to merge 3 commits intodiffblue:developfrom
Commits
Commits on Jan 4, 2012
- committed
kroening
