Command "Show callgraph" fails.
ID0002270: This issue was created automatically from Mantis Issue 2270. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0002270 | Frama-C | Graphical User Interface | public | 2017-01-12 | 2017-12-06 |
Reporter | Max P. | Assigned To | maroneze | Resolution | fixed |
Priority | normal | Severity | major | Reproducibility | always |
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 |
Description :
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