Frama-C Bug Tracking System - Frama-C
View Issue Details
0001122Frama-CGraphical User Interfacepublic2012-03-19 09:342014-02-12 16:58
Reportersignoles 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Nitrogen-20111001 
Target VersionFixed in VersionFrama-C Oxygen-20120901 
Summary0001122: Opening consolidation graph crashes when 'dot' is missing
DescriptionAll in the title. Was previously fixed for the callgraph.
TagsNo tags attached.
related to 0000517closed monate Exception raised if dot not found 
Attached Files

Notes
(0004633)
signoles   
2014-02-12 16:58   
Fix committed to stable/neon branch.

Issue History
2012-03-19 09:34signolesNew Issue
2012-03-19 09:34signolesStatusnew => assigned
2012-03-19 09:34signolesAssigned To => signoles
2012-03-19 09:36signolesRelationship addedrelated to 0000517
2012-03-19 09:36signolesStatusassigned => acknowledged
2012-07-27 10:35svn
2012-07-27 10:35svnStatusacknowledged => resolved
2012-07-27 10:35svnResolutionopen => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2013-12-19 01:11signolesSource_changeset_attached => framac master 2635a9c7
2014-02-12 16:53signolesSource_changeset_attached => framac stable/neon 2635a9c7
2014-02-12 16:58signolesNote Added: 0004633
2014-02-12 16:58signolesStatusclosed => resolved