object
coverage_report
Intercepts unit test execution messages and generates a coverage_report.xml file with a test suite code coverage results.
Availability:
logtalk_load(lgtunit(loader))Author: Paulo Moura
Version: 3:2:0
Date: 2023-04-11
Compilation flags:
static, context_switching_callsRemarks:
Usage: Simply load this object before running your tests using the goal
logtalk_load(lgtunit(coverage_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
timestamp_/6
Cache of the starting tests timestamp.
Compilation flags:
dynamicTemplate:
timestamp_(Year,Month,Day,Hours,Minutes,Seconds)Mode and number of proofs:
timestamp_(-integer,-integer,-integer,-integer,-integer,-integer) - oneobject_file_/2
Cache of test object - file pairs.
Compilation flags:
dynamicTemplate:
object_file_(Object,File)Mode and number of proofs:
object_file_(?object_identifier,?atom) - zero_or_moreOperators
(none)