TimeoutPackage S

timeout.spad line 1 [edit on github]

• S: Type

This package supports evaluation with timeout.

eval_with_timeout: (() -> S, Integer) -> Union(S, failed)

eval_with_timeout(f, t) calls f with timeout of t seconds. Returns value computed by f or “failed” if f did not finish within t seconds.