Crash on Startup of frama-c-gui on WSL
Steps to reproduce the issue
Install frama-c on Windows 11 WSL according to install instructions. Then launch frama-c-gui
Expected behaviour
frama-c-gui opens the gui
Actual behaviour
Contextual information
- Frama-C installation mode: Opam as described on Website
- Frama-C version: 24.0 (Chromium)
- OS name: Windows
- OS version: 11