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.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000033 | Frama-C | Plug-in > jessie | public | 2009-04-07 | 2010-12-22 |
| Reporter | virgile | Assigned To | cmarche | Resolution | fixed |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Lithium-20081201 | Target Version | - | Fixed in Version | Frama-C Carbon-20101202-beta2 |
Description :
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.
Yours, d.
Additional Information :
This feature will be available in Why3 IDE, released in dec 2010
(This won't be avalable in Why2)