System.IO.Path.ChangeExtension
делает то, что вы хотите:
string path = "hello.exe";
string newPath = System.IO.Path.ChangeExtension(path, ".coverage");
РЕДАКТИРОВАТЬ: Ваше заявление об использовании должно быть using System.IO
, и тогда вы можете использовать его, как есть, или как это:
Path.ChangeExtension(path, newExtension);
Также, Console.WriteLine
не может быть использован, как есть.Вы можете сделать это, хотя:
Console.WriteLine("{0} - {1}", path, newPath);