User`s guide

12–22 PALcode Violation Checker
PVC Commands
set code_file
set code_file
The set code_file command specifies the executable PALcode file.
Format
set code_file filename
Parameters
filename
Specifies a file name that contains machine code instructions.
Description
The set code_file command reads an executable PALcode file into PVC. This file
is normally generated from the GAS object file and is postprocessed with the
ASTRIP tool.
Example
PVC> set code_file arith.exe