Zombie processes
ID0002154: This issue was created automatically from Mantis Issue 2154. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002154 | Frama-C | Plug-in > wp | public | 2015-09-01 | 2016-06-21 |
| Reporter | kroeckx | Assigned To | correnson | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Sodium | Target Version | - | Fixed in Version | Frama-C Aluminium |
Description :
I'm starting it using: frama-c-gui -wp -wp-rte -wp-proof alt-ergo
There are lots of goals, and some take a long time to run. I end up with lots of zombie processes. The number of zombie processes matches the number of "interrupted" in the summary. For some reason it's not cleaning up those properly.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information