coverage-off ( -- )
Coverage tool
Prev:coverage-on ( -- )
Next:coverage ( object -- seq )


Vocabulary
tools.coverage

Word description
Deactivates the coverage tool on a word or vocabulary and its private vocabulary.

Definition
USING: namespaces ;

IN: tools.coverage

: coverage-off ( -- ) f covered set-global ;