Frama-C Bug Tracking System - Frama-C
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000517Frama-CGraphical User Interfacepublic2010-06-22 10:552014-02-12 16:55
Reportersignoles 
Assigned Tomonate 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Nitrogen-20111001 
Summary0000517: Exception raised if dot not found
DescriptionShould check dynamically if dot is executable before trying to run it.
TagsNo tags attached.
Relationships
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 
Attached Files

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

Issue History
Date ModifiedUsernameFieldChange
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:41svn
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
2013-12-19 01:13signolesSource_changeset_attached => framac master 25618537
2014-02-12 16:55signolesSource_changeset_attached => framac stable/neon 25618537