PV-WAVE
includes a powerful GUI-based symbolic debugger. The debugger provides
functions such as:

- Set break points
- Monitor variables, strings and arrays
- Single stepping
- Search functions
- Direct execution
of modified code without compiles or links
- Debugging
of widget-based applications