object

xunit_report

Intercepts unit test execution messages and generates a xunit_report.xml file using the xUnit XML format in the same directory as the tests object file.

Author: Paulo Moura
Version: 1.0
Date: 2017/12/15
Compilation flags:
static, context_switching_calls

Public interface

(see related entities)

Protected interface

(see related entities)

Private predicates

message_cache_/1

Table of messages emitted by the lgtunit tool when running tests.

Compilation flags:
dynamic
Template:
message_cache_(Message)
Mode and number of proofs:
message_cache_(?callable) - zero_or_more

Operators

(none)

Remarks

(none)