User`s guide

12–32 PALcode Violation Checker
PVC Commands
set log_file
set log_file
The set log_file command specifies a file to contain error, warning, and
informational messages from PVC.
Format
set log_file filename
Parameters
filename
Specifies a file name to collect output from PVC. If not specified, this information is
displayed on the terminal screen.
Description
The set log_file command opens the specified file name to collect message infor-
mation from the PVC session.
Example
PVC> set log_file arith.log