GDB is a powerful source code debugger. You can use it to debug your Arduino and Raspberry Pi Pico code in Wokwi.Documentation Index
Fetch the complete documentation index at: https://mintlify.com/wokwi/wokwi-docs/llms.txt
Use this file to discover all available pages before exploring further.
Running GDB in Wokwi
Select GDB option
In the prompt that opens, type “GDB”, and select “Start Web GDB Session (debug build)”.
Debugging Session Example
When GDB is ready, you’ll get the following prompt:setup(). First, type tbreak setup and c to start the program and run it until the beginning of setup():
layout src to show the source code of your program, and type next to execute the next line of source code. You can then type next repeatedly to go over the code line by line.
Learn more
AVR GDB Cheatsheet
See many examples of useful GDB commands and features
Running GDB in the Browser
Learn how GDB works in the browser (optional technical deep dive)
It takes time to learn about all the different GDB features and to use them efficiently, but it can get very powerful even with just a few basic commands.