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