Frama-C Bug Tracking System - Frama-C
View Issue Details
0001699Frama-CPlug-in > wppublic2014-03-14 13:252014-03-14 13:25
jens 
correnson 
normalfeatureN/A
assignedopen 
Frama-C Neon-20140301 
 
0001699: Develop strategies to efficiently run WP with different ATP and Coq
This strategy should be controlled by a view options that also take into account how many processes are available.
No tags attached.
Issue History
2014-03-14 13:25jensNew Issue
2014-03-14 13:25jensStatusnew => assigned
2014-03-14 13:25jensAssigned To => correnson

There are no notes attached to this issue.