A.39.3 Predicate reference
All Application Manual Name SummaryHelp

Availability::- use_module(library(prolog_coverage)).
Source[semidet,multifile]report_hook(+Succeeded, +Failed)
This hook is called after the data collection. It is passed a list of objects that have succeeded as well as a list of objects that have failed. The objects are one of
ClauseRef
The specified clause
call_site(ClauseRef, PC)
A call was make in ClauseRef at the given program counter.