Frama-C Bug Tracking System - Frama-C
View Issue Details
0001122Frama-CGraphical User Interfacepublic2012-03-19 09:342014-02-12 16:58
signoles 
signoles 
normalminorhave not tried
closedfixed 
Frama-C Nitrogen-20111001 
Frama-C Oxygen-20120901 
0001122: Opening consolidation graph crashes when 'dot' is missing
All in the title. Was previously fixed for the callgraph.
No tags attached.
related to 0000517closed monate Exception raised if dot not found 
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:35svnCheckin
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
2014-02-12 16:58signolesNote Added: 0004633
2014-02-12 16:58signolesStatusclosed => resolved

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