Top

The Mozart Debugger

Benjamin Lorenz

This manual describes Ozcar, a symbolic debugger which provides well known features like single stepping, breakpoints, and environment inspectation. 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.



Benjamin Lorenz
Version 1.0.1 (19990218)