Debugging and metrics

Besides the main display interface, there is another option for debugging and tracing an execution, by means of a debug (trace) file that is created for every execution of the simulator. In this file some information about the execution is printed and is available for off-line checking or any other use. If no debug-file-name is otherwise specified, the default name has the form:

debug.protocol number.process-id of simulator execution

The debug file consists of three parts: the header lines, the execution tracing part and the footer part.