Variable CoveredFile.path

The covered file path

struct CoveredFile
{
  // ...
  string path ;
  // ...
}