Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000634Frama-CPlug-in > Evapublic2010-12-03 13:512014-02-12 16:55
Reporteryakobowski 
Assigned Topascal 
PrioritynoneSeveritytweakReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Carbon-20101201-beta1 
Summary0000634: Superfluous ';' in value analysis output
DescriptionThe pretty-printer for the Locations.Zone.t prints '; ' even after the last location, causing not so pretty outputs when the location contains a single zone.
(This case is very frequent for Lmap_bitwise obtained outputs.) The attached patch corrects this.
Additional InformationWill require to update our various manuals after being applied.
TagsNo tags attached.
Attached Filesdiff file icon patch-pretty-locations.diff [^] (1,410 bytes) 2010-12-03 13:51 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2010-12-03 13:51 yakobowski New Issue
2010-12-03 13:51 yakobowski Status new => assigned
2010-12-03 13:51 yakobowski Assigned To => pascal
2010-12-03 13:51 yakobowski File Added: patch-pretty-locations.diff
2010-12-03 15:55 svn Checkin
2010-12-03 15:55 svn Status assigned => resolved
2010-12-03 15:55 svn Resolution open => fixed
2010-12-10 15:45 signoles Fixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:35 signoles Status resolved => closed
2018-01-12 14:26 signoles Category Plug-in > value analysis => Plug-in > Eva


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker