Skip to content

Commit

Permalink
more formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
milapsheth committed May 26, 2024
1 parent 709569d commit a3f59e8
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions scripts/coverage.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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)"
Expand Down

0 comments on commit a3f59e8

Please sign in to comment.