From 4261d526ad0269a21a7f86587f9afbfe87ebc7f5 Mon Sep 17 00:00:00 2001
From: Fabian Meumertzheim <fabian@meumertzhe.im>
Date: Thu, 10 Mar 2022 19:16:55 +0100
Subject: [PATCH] [infra] Serve raw JaCoCo coverage reports (#7270)

Both the JaCoCo .exec file and the XML report are very useful for
automated analysis of coverage data and IDE integration, so serve them
just like the HTML report.
---
 infra/base-images/base-runner/coverage | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/infra/base-images/base-runner/coverage b/infra/base-images/base-runner/coverage
index c1da477a6..0ec2d94fb 100755
--- a/infra/base-images/base-runner/coverage
+++ b/infra/base-images/base-runner/coverage
@@ -281,6 +281,11 @@ elif [[ $FUZZING_LANGUAGE == "jvm" ]]; then
       --classfiles $classes_dir \
       "${sourcefiles_args[@]}"
 
+  # Also serve the raw exec file and XML report, which can be useful for
+  # automated analysis.
+  cp $jacoco_merged_exec $REPORT_PLATFORM_DIR/jacoco.exec
+  cp $xml_report $REPORT_PLATFORM_DIR/jacoco.xml
+
   # Write llvm-cov summary file.
   jacoco_report_converter.py $xml_report $SUMMARY_FILE