TEST : MEXPRTEST 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