TEST-INCREASE-TIME : FLAGTEST-INCREASE-TIME is a flag or parameter.
After each unsuccessful search in the test top level,
the value of TEST-INITIAL-TIME-LIMIT will be increased by this
proportion. (So, e.g., setting this flag to 10 will result in a 10%
increase on each attempt; setting it to 100 will double
TEST-INITIAL-TIME-LIMIT every time around.)
NOTE: After the first successful search, this flag will be set to
zero. The change will be permanent, in order to allow CONTINUE to
TEST-INCREASE-TIME takes values of type INTEGER+.
It belongs to subjects TEST-TOP .
Its default value is 0
Its current value is 0.
TPS documentation homepage