PUSH-UP-2 : INFO

PUSH-UP-2 is a flag setting or other piece of information.
A setting for TEST-NEXT-SEARCH-FN.
This setting is like breadth-first search but terminates once a
successful mode is discovered; it is used for relaxing an unsuccessful
mode until it is successful.

TPS documentation homepage


PUSH-UP-2 : TESTCMD

PUSH-UP-2 is a test-top command.
Equivalent to setting TEST-NEXT-SEARCH-FN to PUSH-UP-2
and then typing GO. Permanently changes TEST-NEXT-SEARCH-FN.
Note that this is NOT the same as typing PUSH-UP; this will
use the user-defined searchlist rather than an automatically
generated one.
 
The command format for PUSH-UP-2 is:

<TEST>PUSH-UP-2 MODENAME TESTWIN
"SYMBOL" "YESNO"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage