Commit 75ca1d13 authored by Sergio Gonzalez Diaz's avatar Sergio Gonzalez Diaz
Browse files

Update coverage_report.sh

parent 71f4ccdc

src/coverage_report.sh

+1 −1
Original line number Diff line number Diff line
@@ -16,7 +16,7 @@ cd .. 
echo

echo "Coverage report:"

echo "----------------"

coverage report --rcfile=$RCFILE --sort cover --show-missing --skip-covered 

coverage report --rcfile=$RCFILE --show-missing