Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002343Frama-CDocumentationpublic2018-01-18 07:552018-01-31 14:46
Reporterjens 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C 16-Sulfur 
Target VersionFixed in VersionFrama-C 16-Sulfur 
Summary0002343: BTS does not allow do select "Frama-C 16 Sulfur" as "Product Version"
DescriptionBTS does not allow do select "Frama-C 16 Sulfur" as "Product Version" ...
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0006513)
signoles (manager)
2018-01-31 14:46

Fixed. Thank you for reporting it.

- Issue History
Date Modified Username Field Change
2018-01-18 07:55 jens New Issue
2018-01-31 14:45 signoles Product Version => Frama-C 16-Sulfur
2018-01-31 14:46 signoles Status new => resolved
2018-01-31 14:46 signoles Resolution open => fixed
2018-01-31 14:46 signoles Assigned To => signoles
2018-01-31 14:46 signoles Note Added: 0006513
2018-01-31 14:46 signoles Status resolved => closed
2018-01-31 14:46 signoles Fixed in Version => Frama-C 16-Sulfur


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker