Skip to content
This repository was archived by the owner on Aug 26, 2022. It is now read-only.

Commit 0b4cafd

Browse files
committed
Output directory: Coverage -> PSharpTesterOutput
1 parent 6c99be7 commit 0b4cafd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Tools/Testing/Tester/Instrumentation/CodeCoverageInstrumentation.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -235,7 +235,7 @@ internal static void SetOutputDirectory(Configuration configuration, bool makeHi
235235

236236
// Do not create the output directory yet if we have to scroll back the history first.
237237
OutputDirectory = Reporter.GetOutputDirectory(configuration.OutputFilePath, configuration.AssemblyToBeAnalyzed,
238-
"Coverage", createDir:!makeHistory);
238+
"PSharpTesterOutput", createDir:!makeHistory);
239239
if (!makeHistory)
240240
{
241241
return;

0 commit comments

Comments
 (0)