A debugger dbx is available for C programs on Sun,
VAX etc.
In dbx, one can use commands such as setting break-point on
a source line, stepwise execution, inspecting a variable's value etc.
Asir provides such a dbx-like debugger.
In addition to such commands, we adopted several useful commands
from gdb.
In order to enter the debug-mode, type debug; at the top level
of Asir.
[10] debug; (debug)
Asir also enters the debug-mode by the following means or in the
following situations.
error() is called.
Go to the first, previous, next, last section, table of contents.