A.39.3 Predicate reference
All Application Manual Name SummaryHelp

  • 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[det]cov_reset
Discard all collected coverage data. This predicate raises a permission error if coverage collection is in progress.