User`s guide

PALcode Violation Checker 12–25
PVC Commands
set entry_file
set entry_file
The set entry_file command specifies the entry list file.
Format
set entry_file filename
Parameters
filename
Specifies a file name that contains a list of entry points.
Description
The set entry_file command reads a file containing a list of entry points into PVC.
This file is normally generated from the GAS object file and is postprocessed with
the ALIST tool.
Example
PVC> set entry_file arith.ent