** (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
While running command frama-c-gui foo.c gives followin error