Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001699Frama-CPlug-in > wppublic2014-03-14 13:252014-03-14 13:25
Assigned Tocorrenson 
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.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- 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

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker