Frama-C Bug Tracking System - Frama-C
View Issue Details
0000517Frama-CGraphical User Interfacepublic2010-06-22 10:552014-02-12 16:55
signoles 
monate 
normalminorhave not tried
closedfixed 
Frama-C Boron-20100401 
Frama-C Nitrogen-20111001 
0000517: Exception raised if dot not found
Should check dynamically if dot is executable before trying to run it.
No tags attached.
related to 0000508closed signoles An erorr appears when executing right-click on the source-file name(left side of the screen). 
related to 0001122closed signoles Opening consolidation graph crashes when 'dot' is missing 
Issue History
2010-06-22 10:55signolesNew Issue
2010-06-22 10:55signolesStatusnew => assigned
2010-06-22 10:55signolesAssigned To => signoles
2010-06-22 10:55signolesRelationship addedrelated to 0000508
2010-06-22 10:55signolesStatusassigned => acknowledged
2010-07-01 18:41svnCheckin
2010-08-27 10:33signolesStatusacknowledged => assigned
2010-08-27 10:33signolesAssigned Tosignoles => monate
2011-03-30 16:11signolesNote Added: 0001658
2011-03-30 16:11signolesStatusassigned => resolved
2011-03-30 16:11signolesResolutionopen => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed
2012-03-19 09:36signolesRelationship addedrelated to 0001122

Notes
(0001658)
signoles   
2011-03-30 16:11   
Fixed in the new ocamlgraph's tarball included in Frama-C. Thanks Benjamin!