The time_out/3
command relies on the alarm/3
built-in to implement a call with a maximum time of execution.
The time_out/3
command relies on the alarm/3
built-in to implement a call with a maximum time of execution.
The command is available with the use_module(library(timeout))
command