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