object
ctrf_output
Intercepts unit test execution messages and outputs a report using the CTRF JSON format to the current output stream.
Availability:
logtalk_load(lgtunit(loader))Author: Paulo Moura
Version: 1:0:0
Date: 2026-02-27
Compilation flags:
static, context_switching_callsProvides:
Remarks:
Usage: Simply load this object before running your tests using the goal
logtalk_load(lgtunit(ctrf_output)).
Inherited public predicates:
(none)
Public predicates
(no local declarations; see entity ancestors if any)
Protected predicates
(no local declarations; see entity ancestors if any)
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)