TEST-MODIFY is a flag or parameter.
A string which will be evaluated in exactly the same way as an alias.
May contain any valid lisp commands, and will be evaluated after setting the
mode during tps-test. So, for example, setting it to
"(set-flag 'skolem-default nil)
(when search-time-limit (setq search-time-limit (* 2 search-time-limit)))
(when max-search-limit (setq max-search-limit (* 2 max-search-limit)))"
would make tps-test changed SKOLEM-DEFAULT to NIL and double the time limits
before each search.
TEST-MODIFY takes values of type STRING.
It belongs to subjects MAINTAIN .
Its default value is ""
Its current value is "".

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage