Cgen-single-test-timeout
Cgen/Testing timeout for single, individual tests (in seconds)
Maximum allowed time (in seconds) for Cgen to check a single test.
The default timeout limit is set to 1/100 sec. This is useful if
you have functions that are very slow on some inputs. A simple
example is the naive definition of the fibonnaci function.
Setting this parameter to 0 amounts to disabling the timeout.
Guard : Timeout should be a non-negative rational.
Usage:
(acl2s-defaults :set cgen-single-test-timeout 10)
(acl2s-defaults :get cgen-single-test-timeout)
:doc cgen-single-test-timeout
