Records which spec covers which requirement.
Instance methods
coverage(catalog : Catalog) : Coverage
Compares the recorded ids with catalog.
SourceRecords that the spec at location (file:line) covers id.
Sourcewrite_report(io :
IO, catalog :
Catalog) :
Nil Writes a TSV report: one line per catalog requirement with its
status and the covering spec locations, then unknown ids.
Source