|Did you know ...||Search Documentation:|
:- use_module(library(test_cover)).(can be autoloaded)
diroption are specified.
### Clause was never executed. ++N Clause was entered N times and always succeeded --N Clause was entered N times and never succeeded +N-M Clause has succeeded N times and failed M times +N*M Clause was entered N times and succeeded M times
All call sites are annotated using the same conventions,
--- is used to annotate subgoals that were
true(default), add line numbers to the annotated file.