TimeoutPackage(S)

timeout.spad line 1 [edit on github]

• S : Type

This package supports evaluation with timeout.

eval_with_timeout : (Mapping(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.