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