static function setCoverageFilePath($file_path)
 {
     self::$coverage_file_path = $file_path;
 }