fix reporting bug

neu-se · Jun 28, 2024 · 95b0b44 · 95b0b44
1 parent 3ff8cfe
commit 95b0b44
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchmark/generate_report.ts b/benchmark/generate_report.ts
@@ -26,7 +26,7 @@ function printCoverageReport(
   console.log(`
 # ${title}
 Project | # Snippets Available | # Tests | # Passing Tests |  Statement coverage | Branch coverage | # Non-trivial tests | # Non-trivial passing tests | Statement coverage by non-trivial tests
---- |  --: | --: | --: | --: | --: | --: | --:`);
+--- |  --: | --: | --: | --: | --: | --: | --: | --:`);
   for (const {
     proj,
     nrUniqueSnippets,