time_limit_exceeded
is raised.
call_with_time_limit/3
throws time_limit_exceeded(Context)
. Goal is
called as in once/1.
- throws
time_limit_exceeded
(call_with_time_limit/2) ortime_limit_exceeded(Context)
(call_with_time_limit/3).
time_limit_exceeded
is raised.
call_with_time_limit/3
throws time_limit_exceeded(Context)
. Goal is
called as in once/1.
time_limit_exceeded
(call_with_time_limit/2)
or
time_limit_exceeded(Context)
(call_with_time_limit/3).