		Search-engine friendly clone of the ACL2 documentation.

With-timeout

Evaluate form with a timeout (in seconds)

Evaluate form with a timeout in seconds.

The general form is:

with-timeout duration body timeout-form

duration can be any rational value. A duration of 0 seconds disables the timeout mechanism, i.e its a no-op. Suppose it is not, and duration seconds elapse during evaluation of body then the evaluation is aborted and the value of timeout-form is returned; in the normal case the value of body is returned.

The signature of body and timeout-form should be the same.

Advanced Notes:

This form should be called either at the top-level or in an environment where state is available and body has no free variables other than state. If the timeout-form is a long running computation, then the purpose of with-timeout is defeated.

Usage: 
(with-timeout 5 (fibonacci 40) :timed-out) 
:doc with-timeout