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.

Benjamin Lorenz and Leif Kornstaedt
Version 1.4.0 (20080702)