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_calls

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:
dynamic
Mode and number of proofs:
generating_ - zero_or_one

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)