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.
|ID0000033||Frama-C||Plug-in > jessie||public||2009-04-07||2010-12-22|
|Product Version||Frama-C Lithium-20081201||Target Version||-||Fixed in Version||Frama-C Carbon-20101202-beta2|
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)