Frama-C Bug Tracking System - Frama-C
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0001699Frama-CPlug-in > wppublic2014-03-14 13:252014-03-14 13:25
Reporterjens 
Assigned Tocorrenson 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Neon-20140301 
Target VersionFixed in Version 
Summary0001699: Develop strategies to efficiently run WP with different ATP and Coq
DescriptionThis strategy should be controlled by a view options that also take into account how many processes are available.
TagsNo tags attached.
Relationships
Attached Files

There are no notes attached to this issue.

Issue History
Date ModifiedUsernameFieldChange
2014-03-14 13:25jensNew Issue
2014-03-14 13:25jensStatusnew => assigned
2014-03-14 13:25jensAssigned To => correnson