TEST-INITIAL-TIME-LIMIT : FLAG

TEST-INITIAL-TIME-LIMIT is a flag or parameter.
The time limit to be used for each individual search. This
limit will be increased if it is found to be insufficient. See
also the flags TEST-INCREASE-TIME and TEST-REDUCE-TIME.
The time referred to will be internal time without counting
garbage collection, if possible (see the flag EXCLUDING-GC-TIME).
TEST-INITIAL-TIME-LIMIT takes values of type POSINTEGER.
It belongs to subjects TEST-TOP .
Its default value is 30
Its current value is 30.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage