Under windows, many times, Frama-c wp process doesn't kill alt-ergo process before finishing
ID0002132: This issue was created automatically from Mantis Issue 2132. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002132 | Frama-C | Plug-in > wp | public | 2015-06-11 | 2016-06-21 |
| Reporter | gaggarwal | Assigned To | correnson | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | Frama-C Aluminium |
Description :
On Windows system, Frama-c wp process finished without finishing all the alt-ergo processes it created, because of this in few mins, my system starts thrashing because these lying around alt-ergo processes take up all the CPU time.
If I run the test with frama-c wp + why3, why3 finishes all the alt-ergo processes before finishing.
Is there an option, that should be used to make sure alt-ergo processes are finished with frama-c process?