Result.coverage

Coverage intervals that can be instrumented.

class Result
Interval[][LocalFileId] coverage;

Meta