SWI-Prolog -- coverage/2

Did you know ...

Search Documentation:

Predicate coverage/2

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatria
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic Programming
- External collections▶
  - Meta level tutorials
- For packagers▶
  - Linux packages
COMMUNITY
COMMERCIAL
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(prolog_coverage): Coverage analysis tool
      - Predicate reference
        
        coverage/1
        
        coverage/2
        
        show_coverage/1
        
        report_hook/2
        
        cov_save_data/2
        
        cov_load_data/2
        
        cov_reset/0
        
        cov_property/1
- Packages

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

Source

[semidet]coverage(:Goal, +Options)

Collect and optionally report coverage by Goal. Goal is executed as in once/1. Options processed:

show(+Boolean): When true (default), call show_coverage/1 passing Options to show the collected coverage data and reset the data. When false, collect the data but do not reset it. If there is already existing data the new data is added.