debugging

jon-bell · Aug 1, 2024 · f1a164d · f1a164d
1 parent 626ea5e
commit f1a164d
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/eval-10m-5x.yml b/.github/workflows/eval-10m-5x.yml
@@ -4,5 +4,5 @@ jobs:
   evaluate:
     uses: ./.github/workflows/evaluation-workflow.yml
     with:
-      duration: 10m
-      trials: 5
+      duration: 1m
+      trials: 2
diff --git a/.github/workflows/evaluation-workflow.yml b/.github/workflows/evaluation-workflow.yml
@@ -251,6 +251,7 @@ jobs:
             bash scripts/experiments/get_coverage.sh jacoco.exec "$coveragePackages" jacoco-$id
             JACOCO_SUMMARY+="\"${id}\": $(cat jacoco_summary.json),"
             mv jacoco_summary.json "$RESULTS_DIR/artifacts/${id}_jacoco_summary.json"
+            cp jacoco.exec "$RESULTS_DIR/artifacts/${id}_jacoco.exec"
             cp -r jacoco-$id "$RESULTS_DIR/"
           done
           JACOCO_SUMMARY+='"site_url":"$BASE_URL"}'

diff --git a/scripts/experiments/get_coverage.sh b/scripts/experiments/get_coverage.sh
@@ -49,6 +49,8 @@ if [ -d "$2" ]; then rm -Rf $2; fi
 export jacocoJars="$ROOT_DIR/examples/target/dependency/org.jacoco.report-0.8.10.jar:$ROOT_DIR/examples/target/dependency/org.jacoco.core-0.8.10.jar"
 export cmd="java -cp $JACOCO_UTIL_JAR:$jacocoJars -DJACOCO_SOURCES=$JACOCO_SOURCES fun.jvm.jacoco.reachability.entry.TolerantJacocoReportBuilder $1 $ROOT_DIR/examples/target/test-classes:$expandedCP $2 $3"
 
+echo $cmd
+
 COVERAGE_JSON=`$cmd | tail -n 1`
 echo $COVERAGE_JSON > jacoco_summary.json
 echo $COVERAGE_JSON