remove-coverage ( object -- )
Coverage tool

Prev:add-coverage ( object -- )
Next:reset-coverage ( object -- )


Vocabulary
tools.coverage

Inputs
objectan object


Outputs
None

Word description
Recompiles a vocabulary without the coverage annotation.

Definition


Methods