Top
Print

# The Mozart Debugger

## Benjamin Lorenz and Leif Kornstaedt

> This manual describes Ozcar, a symbolic debugger which provides well-known debugging features such as breakpoints, single-stepping, and environment inspection. It supports debugging of multiple threads and debugging of distributed applications. Concurrent behaviour can be observed and manipulated.

> Ozcar can be used from within the Oz Programming Interface or it can be used as a standalone program to debug Oz applications. It uses Emacs as a source viewer, highlighting the current position in a debugged program, and allowing to set breakpoints at arbitrary source lines.