User`s guide

PALcode Violation Checker 12–33
PVC Commands
set map_file
set map_file
The set map_file command specifies the PALcode .map file.
Format
set map_file filename
Parameters
filename
Specifies a file name that contains PVC symbol values. If not specified, PVC
assumes the .map file name is identical to the code_file name.
Description
The set map_file command reads the PALcode .map file into PVC. This file is
normally generated from the GAS object file and is postprocessed with the ALIST
tool. See Section 12.2.3 for more information about using the ALIST tool.
Example
PVC> set map_file arith.map