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. |
---|
Tags | No tags attached. |
---|
Relationships | |
Attached Files | |
---|