8 library(test_cover): Clause coverage analysis
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(test_cover)).
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, PI)
A call was make in ClauseRef at the given program counter to the predicate indicated by PI.