Command "Show callgraph" fails.
ID0002270: This issue was created automatically from Mantis Issue 2270. Further discussion may take place here.
|ID0002270||Frama-C||Graphical User Interface||public||2017-01-12||2017-12-06|
|Reporter||Max P.||Assigned To||maroneze||Resolution||fixed|
|Platform||Cygwin||OS||Windows 7||OS Version||x64 SP1|
|Product Version||Frama-C 14-Silicon||Target Version||Frama-C 15-Phosphorus||Fixed in Version||Frama-C 16-Sulfur|
Callgraph is not displayed with "Show callgraph". In cygwin terminal prints as follows:
"dot" ▒▒ ▒▒▒▒ ▒▒▒▒७▒▒▒ ▒▒▒ ▒▒▒譥▒ ▒▒▒▒▒▒▒▒, ▒ᯮ▒▒塞▒▒ ▒ணࠬ▒▒▒ ▒▒▒ ▒▒▒▒▒▒ 䠩▒▒▒. In callback for signal activate, uncaught exception: DGraphModel.DotError("Error during dot execution") Raised at file "format.ml", line 185, characters 41-52 Called from file "format.ml", line 427, characters 6-24
Additional Information :
Callgraph plug-in was run with default settings. File dgraph######.dot was created in cygwin64/tmp directory successfully.
Steps To Reproduce :
In GUI select Analises -> Show callgraph