Launching several instances of the prover in parallel from the GUI?
ID0000033: This issue was created automatically from Mantis Issue 33. Further discussion may take place here.
|Plug-in > jessie
|Fixed in Version
Hello, [bug 7439 from old bts, reported by David Mentré] I'm using frama-c on multi-core and multi-processor machines. Would it be possible, when proving all obligations or obligations from a selected function using the GUI (gWhy), to launch several instances of the prover at the same time? It could speed-up the proving time.
Additional Information :
This feature will be available in Why3 IDE, released in dec 2010
(This won't be avalable in Why2)