Top
Print

# The Mozart Debugger

## Benjamin Lorenz

> This manual describes Ozcar, a symbolic debugger which provides well known features like single stepping, breakpoints, and environment inspection. Moreover, it supports debugging of multiple threads; their concurrent behaviour can be observed and manipulated.

> Ozcar has been smoothly integrated into the Oz Programming Interface. It can be started and stopped from within Emacs, which itself serves both as a source view manager, showing the current position in a debugged program by highlightening the corresponding source line, and as a breakpoint manager, allowing to set breakpoints at arbitrary source lines.

> Finally, the application ozd is provided to debug standalone programs, see Chapter 4 of ``Oz Shell Utilities'' for more information.