TEST-REDUCE-TIME : FLAG

TEST-REDUCE-TIME is a flag or parameter.
If T, then TEST-INITIAL-TIME-LIMIT will be reduced every time a faster
combination of flags is found. If NIL, then it won't be.
TEST-REDUCE-TIME takes values of type BOOLEAN.
It belongs to subjects TEST-TOP .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage