Skip to content

The disproportion between block sizes and caption sizes on a callgrath.

ID0002273: This issue was created automatically from Mantis Issue 2273. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0002273 Frama-C Graphical User Interface public 2017-01-17 2017-01-17
Reporter Max P. Assigned To signoles Resolution no change required
Priority normal Severity tweak Reproducibility always
Platform Cygwin OS Windows 7 OS Version x64 SP1
Product Version Frama-C 14-Silicon Target Version - Fixed in Version -

Description :

Callgraph looks as on attached screenshot.

Additional Information :

After the first callgraph opening the warning is generated: (frama-c-gui.exe:8512): Pango-WARNING **: couldn't load font "Times-Roman Not-Rotated 14", falling back to "Sans Not-Rotated 14", expect ugly output.

Steps To Reproduce :

In GUI select command "Show callgraph".

Attachments

  • Global_view_2
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information