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