public CoverageResult GetCoverageResult() { CheckInstrumented(); return(RecordingController.CollectResultAndReset()); }