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_calls
Provides:
Public interface¶
(see related entities)
Protected interface¶
(see related entities)
Private predicates¶
partial_/1
¶
Cache of total of tests per test set.
Compilation flags:
dynamic
Mode and number of proofs:
partial_(?integer)
- zero_or_more
Operators¶
(none)
Remarks¶
(none)