Added overall coverage total file

rsksmart · Dec 12, 2023 · 7019f30 · 7019f30
1 parent 58aa3d4
commit 7019f30
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ledger/coverage/gen-coverage b/ledger/coverage/gen-coverage
@@ -26,6 +26,7 @@ if [[ $1 == "exec" ]]; then
 
     lcov --capture --directory $SRCDIR --list-full-path --output-file $BASEDIR/coverage.info
     genhtml $BASEDIR/coverage.info --output $BASEDIR/output -p $SRCDIR
+    lcov --summary $BASEDIR/coverage.info | grep lines | sed -e "s/.\+lines.\+: \([[:digit:].]\+\).\+/\1/g" > $BASEDIR/output/total
     mv $BASEDIR/coverage.info $BASEDIR/output
 else
     # Script directory