SET : REVIEWCMD

SET is a review command.
Directly set the value of a flag.
The command format for SET is:

 <Rn>SET    FLAG FLAG-VALUE 
"TPSFLAG" "ANYTHING"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage