Availability:
:- use_module(library(test_cover)).
[semidet,multifile]report_hook(+Succeeded,
+Failed)- 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.