Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002408Frama-CPlug-in > wppublic2018-11-03 08:402018-11-03 08:40
Reporterjens 
Assigned Tocorrenson 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in Version 
Summary0002408: Some issues related to Frama-C 18.0 (beta) "Argon"
DescriptionThis entry serves to link my GitHub issues on Argon (beta) to the BTS. The issues are

https://github.com/Frama-C/Frama-C-snapshot/issues/12 [^]

https://github.com/Frama-C/Frama-C-snapshot/issues/13 [^]

https://github.com/Frama-C/Frama-C-snapshot/issues/14 [^]
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2018-11-03 08:40 jens New Issue
2018-11-03 08:40 jens Status new => assigned
2018-11-03 08:40 jens Assigned To => correnson


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker