object
tap_output¶
Intercepts unit test execution messages and outputs a report using the TAP format to the current output stream.
Author: Paulo Moura
Version: 1.0
Date: 2017/12/21
Compilation flags:
static, context_switching_callsProvides:
Public interface¶
(see related entities)
Protected interface¶
(see related entities)
Private predicates¶
generating_/0¶
Flag to detect report in progress when processing two or more test sets as a unified set.
Compilation flags:
dynamicMode and number of proofs:
generating_ - zero_or_onepartial_/1¶
Cache of total of tests per test set.
Compilation flags:
dynamicMode and number of proofs:
partial_(?integer) - zero_or_moreOperators¶
(none)
Remarks¶
(none)