Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #2586

Closed
Open
Created Dec 05, 2021 by ankit247@ankit247

** (frama-c-gui:11256): CRITICAL **

Steps to reproduce the issue

$ frama-c-gui foo.c Gdk-Message: 00:28:20.600: Unable to load arrow from the cursor theme ** (frama-c-gui:11388): CRITICAL **: 00:28:32.491: GSourceFunc: callback raised an exception

Expected behaviour

Getting error opening GUI for Frama-c

Actual behaviour

Should open the GUI

Contextual information

  • Frama-C installation mode: Opam
  • Frama-C version: 24.0
  • Plug-in used: eva
  • OS name: Windows 11 (UBUNTU as WSLg)
  • OS version: ubuntu 20.04 LTS

Additional information (optional)

Usig command frama-c -eva -main SumHadCoefficients foo.c, not getting any error, also analysis result is getting dumped on terminal. But using gui gives error framac_gui_error_eva

While running command frama-c-gui foo.c gives followin error framac_gui_error

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking