A.38.3 Predicate reference
All
Application
Manual
Name
Summary
Help
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)
[det]
cov_reset
Discard all collected coverage data. This predicate raises a permission error if coverage collection is in progress.
[det]cov_resetDiscard all collected coverage data. This predicate raises a permission
error if coverage collection is in progress.