Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002476Frama-CKernel > ACSL implementationpublic2019-09-23 11:432019-09-23 13:16
Reportermichal 
Assigned Tovirgile 
PrioritynormalSeveritytweakReproducibilityrandom
StatusclosedResolutionno change required 
Platformwindows7OSwindows7OS Versionwindows7
Product VersionFrama-C 19-Potassium 
Target VersionFixed in Version 
Summary0002476: FieldEngineer
DescriptionI'm staff at fieldengineer.com,we have a technical support of telecom engineers.We created the FE Platform to streamline engagement between field engineers and businesses looking for them.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2019-09-23 11:43 michal New Issue
2019-09-23 11:43 michal Status new => assigned
2019-09-23 11:43 michal Assigned To => virgile
2019-09-23 13:16 virgile Status assigned => closed
2019-09-23 13:16 virgile Resolution open => no change required


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker