zombie processes (again)
ID0002205: This issue was created automatically from Mantis Issue 2205. Further discussion may take place here.
|ID0002205||Frama-C||Plug-in > wp||public||2016-02-01||2016-02-04|
|Product Version||Frama-C Magnesium||Target Version||-||Fixed in Version||-|
This is related #2154 (closed) and #2132. I have updated my Frama-C installation under OS X with a patch provided by Loïc Correnson. The situation has improved in the sense that my system is not so sluggish anymore but there still a substantial number of zombie processes: 86 (before the patch I counted 111 for the same example).