diff --git a/scripts/coverage.sh b/scripts/coverage.sh index d39ca4f3..8269b056 100755 --- a/scripts/coverage.sh +++ b/scripts/coverage.sh @@ -35,12 +35,15 @@ for d in ./move/*/; do found=1 - echo "\nCoverage report for module $d\n" >> .coverage.info - echo "\nCoverage report for module $d\n" >> .coverage.extended.info + echo "Coverage report for module $d\n" >> .coverage.info + echo "Coverage report for module $d\n" >> .coverage.extended.info "$SUI" move coverage summary --path "$d" >> .coverage.info "$SUI" move coverage summary --summarize-functions --path "$d" >> .coverage.extended.info + echo "" >> .coverage.info + echo "" >> .coverage.extended.info + # Display source code with coverage info # find "$d/sources" -type f -name '*.move' | while IFS= read -r f; do # "$SUI" move coverage source --path "$d" --module "$(basename "$f" .move)"