Frama-C Bug Tracking System - Frama-C |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0001699 | Frama-C | Plug-in > wp | public | 2014-03-14 13:25 | 2014-03-14 13:25 |
|
| Reporter | jens | |
| Assigned To | correnson | |
| Priority | normal | Severity | feature | Reproducibility | N/A |
| Status | assigned | Resolution | open | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C Neon-20140301 | |
| Target Version | | Fixed in Version | | |
|
| Summary | 0001699: Develop strategies to efficiently run WP with different ATP and Coq |
| Description | This strategy should be controlled by a view options that also take into account how many processes are available. |
| Steps To Reproduce | |
| Additional Information | |
| Tags | No tags attached. |
| Relationships | |
| Attached Files | |
|
| Issue History |
| Date Modified | Username | Field | Change |
| 2014-03-14 13:25 | jens | New Issue | |
| 2014-03-14 13:25 | jens | Status | new => assigned |
| 2014-03-14 13:25 | jens | Assigned To | => correnson |