object

xunit_output

Intercepts unit test execution messages and outputs a report using the xUnit XML format to the current output stream.

Author: Paulo Moura
Version: 1.0
Date: 2017/12/29
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)