Skip to content

Removing dgml and sci file generation #823

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 2 commits into from

Conversation

ChristineZh0u
Copy link
Contributor

@ChristineZh0u ChristineZh0u commented Mar 4, 2025

  • Removed .sci file generation
  • Cleaned up remaining dgml variables
  • Updated the tutorial expected outputs

@@ -1281,7 +1281,7 @@ public CoverageInfo GetCoverageInfo()
var builder = LogWriter.GetLogsOfType<ControlledRuntimeLogGraphBuilder>().FirstOrDefault();
if (builder != null)
{
result.CoverageGraph = builder.SnapshotGraph(CheckerConfiguration.IsDgmlBugGraph);
result.CoverageGraph = builder.SnapshotGraph(true);
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why pass a true value?

@@ -77,10 +77,6 @@ private static void EmitTestingCoverageOutputFiles(TestReport report, string dir
var coverageFilePath = $"{filePath}.coverage.txt";
Console.WriteLine($"..... Writing {coverageFilePath}");
codeCoverageReporter.EmitCoverageReport(coverageFilePath);

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Lets keep the .sci file around. Only remove things related to dgml.

@ankushdesai ankushdesai deleted the pchecker/remove_dgml_sci_files branch April 29, 2025 05:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants