Axiomatic is recompiled when using severalprocesses
ID0001685: This issue was created automatically from Mantis Issue 1685. Further discussion may take place here.
|ID0001685||Frama-C||Plug-in > wp||public||2014-03-12||2017-03-14|
|Reporter||jens||Assigned To||correnson||Resolution||no change required|
|Product Version||Frama-C Fluorine-20130601||Target Version||-||Fixed in Version||-|
When verifying with alt-ergo and coq the file Axiomatic seems to be compiled again and again. As far as I understood, alt-ergo seems to kill the coq process.
Steps To Reproduce :
In fact, I noticed this problem in Neon.