object
lcov_reportï
Intercepts unit test execution messages and generates a lcov.info file with code coverage results.
Availability:
logtalk_load(lgtunit(loader))Author: Paulo Moura
Version: 1:0:0
Date: 2026-03-13
Compilation flags:
static, context_switching_callsRemarks:
Usage: Simply load this object before running your tests using the goal
logtalk_load(lgtunit(lcov_report)).
Inherited public predicates:
(none)
Public predicatesï
(no local declarations; see entity ancestors if any)
Protected predicatesï
(no local declarations; see entity ancestors if any)
Private predicatesï
entity_file_/2ï
Table of entity source files.
Compilation flags:
dynamicTemplate:
entity_file_(Entity,File)Mode and number of proofs:
entity_file_(?entity_identifier,?atom) - zero_or_morepredicate_coverage_/7ï
Table of predicate coverage data.
Compilation flags:
dynamicTemplate:
predicate_coverage_(Entity,Predicate,Line,Covered,Total,Percentage,Clauses)Mode and number of proofs:
predicate_coverage_(?entity_identifier,?predicate_indicator,?integer,?integer,?integer,?float,?list) - zero_or_moreOperatorsï
(none)