Frama-C Bug Tracking System - Frama-C
View Issue Details
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

Notes
(0006513)
signoles   
2018-01-31 14:46   
Fixed. Thank you for reporting it.

Issue History
2018-01-18 07:55jensNew Issue
2018-01-31 14:45signolesProduct Version => Frama-C 16-Sulfur
2018-01-31 14:46signolesStatusnew => resolved
2018-01-31 14:46signolesResolutionopen => fixed
2018-01-31 14:46signolesAssigned To => signoles
2018-01-31 14:46signolesNote Added: 0006513
2018-01-31 14:46signolesStatusresolved => closed
2018-01-31 14:46signolesFixed in Version => Frama-C 16-Sulfur