QUICK-DEFINE : TESTCMD

QUICK-DEFINE is a test-top command.
Define a searchlist the quick and dirty way!
If the current flag settings are OK (i.e. are a successful mode),
will create a searchlist in which the flags given in the values of
the TEST-FASTER-* flags (do LIST TEST-TOP for a listing) vary over
values which ought to give a faster search than the current values.
If the current flag settings are not OK, will create a searchlist in
which the flags given in the values of the TEST-EASIER-* flags vary
over values which ought to make the search easier than the current
values.
The maximum number of values for any flag to take is governed
by TEST-MAX-SEARCH-VALUES.
 
The command format for QUICK-DEFINE is:

<TEST>QUICK-DEFINE NAME SUCC
"SYMBOL" "YESNO"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage