User`s guide

PALcode Violation Checker 12–17
PVC Commands
go
go
The go command executes all entry points.
Format
go
Parameters
None.
Description
The go command allows PVC to begin checking your code. It executes all entry
points. If you have created a log file, informational messages from your PVC run are
sent to that file; otherwise, they display on the screen. When all entry points have
been executed, you receive a message that the file has completed, and the
PVC> prompt appears.
Example
% pvc
PALcode Violation Checker V3.26
Default Cpu set to DECchip 21164 family.
PVC> set code osfpal_pc164.nh
PVC> set entry osfpal_pc164.ent
PVC> set map osfpal_pc164.map
PVC> go
Initializing Alpha dependent tables..
Initializing 21164 dependent tables..
Disassembling executable...
Searching through .map file for violation exceptions...
Beginning PALcode check...
End of PALcode check...
PVC> quit