object

coverage_report

Intercepts unit test execution messages and generates a coverage_report.xml file with a test suite code coverage results.

Author: Paulo Moura
Version: 3:1:0
Date: 2022-05-06
Compilation flags:
static, context_switching_calls
Remarks:
  • 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:
dynamic
Template:
timestamp_(Year,Month,Day,Hours,Minutes,Seconds)
Mode and number of proofs:
timestamp_(-integer,-integer,-integer,-integer,-integer,-integer) - one

object_file_/2

Cache of test object - file pairs.

Compilation flags:
dynamic
Template:
object_file_(Object,File)
Mode and number of proofs:
object_file_(?object_identifier,?atom) - zero_or_more

Operators

(none)