SWI-Prolog -- show

Documentation
- Reference manual
- Packages
  - Prolog Unit Tests
    - library(test_cover): Clause coverage analysis

Availability::- use_module(library(test_cover)).(can be autoloaded)

[semidet]show_coverage(:Goal)

[semidet]show_coverage(:Goal, +Options)

[semidet]show_coverage(:Goal, +Modules:list(atom))

Report on coverage by Goal. Goal is executed as in once/1. Options processed:

modules(+Modules)

Provide a detailed report on Modules. For backwards compatibility this is the same as providing a list of modules in the second argument.

annotate(+Bool)

Create an annotated file for the detailed results. This is implied if the ext or dir option are specified.

ext(+Ext)

Extension to use for the annotated file. Default is‘.cov`.

dir(+Dir)

Dump the annotations in the given directory. If not given, the annotated files are created in the same directory as the source file. Each clause that is related to a physical line in the file is annotated with one of:

### 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

###	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