<coverage-state> ( executed? -- coverage-state )


Vocabulary
tools.coverage

Inputs
executed?a boolean


Outputs
coverage-statea coverage-state


Word description
Makes a coverage tuple. Users should not call this directly.

Definition