Interface: CoverageDeclaration

Defined in: src/core/agent/coverage/types.ts:60

What a tool author passes to import('./ledger.js').coverage.

Properties

cannotCover?

readonly optional cannotCover?: readonly CoverageInput[]

Defined in: src/core/agent/coverage/types.ts:63

---

checked?

readonly optional checked?: readonly CoverageInput[]

Defined in: src/core/agent/coverage/types.ts:61

---

notChecked?

readonly optional notChecked?: readonly CoverageInput[]

Defined in: src/core/agent/coverage/types.ts:62