SCALE-UP : TESTCMD

SCALE-UP is a test-top command.
Rewrites a searchlist under the assumption that the initial
values in the searchlist (together with appropriate settings of the other
flags) do not constitute a successful mode, and that TEST is being run in order
to find a mode that works. This will discard all settings that would make the
search harder, and will arrange the range of values in such a way that the
bounds of the search will gradually increase until the proof (with a bit of
luck) can be completed. If this makes the range empty or a singleton, the flag
is removed from the searchlist. See the TEST-EASIER-* flags.
 
The command format for SCALE-UP is:

<TEST>SCALE-UP OLD-SLIST NEW-SLIST
"SYMBOL" "SYMBOL"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage