PALcode Violation Checker 12–21
PVC Commands
quit
quit
The quit command terminates a PVC session.
Format
quit
Parameters
None.
Description
The quit command terminates a PVC session; it has no effect on input files. The
quit and exit commands have the same function.
Example
PVC> quit
%
