|Did you know ...||Search Documentation:|
:- use_module(library(test_cover)).(can be autoloaded)
diroption are specified.
### Clause was never executed. ++N Clause was executed N times and always succeeded --N Clause was executed N times and never succeeded +N-M Clause was succeeded N times and failed M times