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.
|Plug-in > wp
|have not tried
|Fixed in Version
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?