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_callsProvides:
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:
dynamicTemplate:
message_cache_(Message)Mode and number of proofs:
message_cache_(?callable) - zero_or_moreOperators¶
(none)
Remarks¶
(none)