documents/userman/umsdebug.tex

81 succeeded and all procedures called by the clause succeeded),
119 procedures that do not have any alternative, then the execution flow
426 %The leashing mode can be specified separately for ports and procedures.
537 The debugger can trace only procedures which have been compiled in
555 non-debugged procedures are
558 \item They run slightly faster than the debugged procedures
560 the non-debugged procedures run considerably faster than the debugged
564 \item Their code is shorter than that of the debugged procedures.
567 Although only procedures compiled in the \notation{dbgcomp} mode can be
568 traced, it is possible to mix the execution of procedures in both
569 modes.  Then, calls of \notation{nodbgcomp} procedures from \notation{dbgcomp}
571 traced, however further execution within \notation{nodbgcomp} procedures,
599 to speed up the execution of procedures that need not be
1726 skipped procedures or during the execution of any other skip command