The Set File, Set Output And Cancel
Output CommandsYou can record a transcript of the entire debugging session (or any portion) in a log file. This transcript includes the Debugger commands you entered during the session. It also includes the corresponding Debugger output and trace messages. You can control whether the Debugger output is written only to this file or also displayed at your terminal. The appropriate commands are:
●The saved transcript can be used for off-line analysis of a prototype’s execution. It can also be used as a Debugger batch (command) file, since the Debugger is able to extract commands from the saved transcript. This batch file can be loaded using the LOAD command in a later execution of the same or a corrected debugging prototype. This saves you from having to recreate the same scenarios that were already tested in previous runs. It also facilitates comparison of two runs. In this way you can easily check that a specification error detected in the first run has been properly corrected for the second run.