object
tap_report¶
Intercepts unit test execution messages and generates a tap_report.txt file using the TAP output format in the same directory as the tests object file.
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¶
partial_/1¶
Cache of total of tests per test set.
Compilation flags:
dynamicMode and number of proofs:
partial_(?integer) - zero_or_moreOperators¶
(none)
Remarks¶
(none)