TEST : MEXPR

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 
"GWFF0-OR-LABEL-OR-EPROOF" "YESNO" "YESNO" "YESNO"


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