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
Provides:
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)