diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh index c962e8b6a6645feb0b564a4779db95e107bcfb28..9c8d684791c0f21819035824a31ff00804c28513 100644 --- a/scripts/run_tests.sh +++ b/scripts/run_tests.sh @@ -119,7 +119,7 @@ run_declearn_tests() { run_commands "declearn test suite" "${commands[@]}" status=$? # Display and export the cumulated coverage. - coverage report + coverage report --precision=2 coverage xml # Return the success/failure status of tests. return $status