:- module benchmarking.
:- pragma termination_info((benchmarking:report_stats), finite(0, []), cannot_loop).
:- pragma termination_info((benchmarking:report_full_memory_stats), finite(0, []), cannot_loop).
:- pragma termination_info(benchmarking:benchmark_det((pred((builtin:in), (builtin:out)) is det), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(benchmarking:benchmark_det((pred((builtin:in), (builtin:out)) is cc_multi), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(benchmarking:benchmark_func((func((builtin:in)) = (builtin:out) is det), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(benchmarking:benchmark_det_io((pred((builtin:in), (builtin:out), (builtin:di), (builtin:uo)) is det), (builtin:in), (builtin:out), (builtin:di), (builtin:uo), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(benchmarking:benchmark_nondet((pred((builtin:in), (builtin:out)) is nondet), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).