TEST is a top-level command.
Enter the test top level. In this top level, the user can search
for an optimal mode in which to prove a particular theorem, by defining
a list of flags to be varied and then running matingsearch repeatedly
with different flag settings.
The command format for TEST is:

 <n>TEST            GWFF       DEEPEN  REINIT  WINDOW 

The arguments have the following meaning:
GWFF : Gwff or Eproof
DEEPEN : Deepen?
REINIT : Reinitialize Variable Names?
WINDOW : Open Vpform Window?

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage