2021-02-27 05:16 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002343Frama-CDocumentationpublic2018-01-31 14:46
Reporterjens 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
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
+Relationships

-Notes

~0006513

signoles (manager)

Fixed. Thank you for reporting it.
+Notes

-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
+Issue History