diff options
| author |  Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2015-11-04 10:36:16 -0800 |
|---|---|---|
| committer | Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2015-11-04 10:36:16 -0800 |
| commit | 52541439e41d6d35fe89d8dfad94c1913f44c382 (patch) | |
| tree | 6dc567268c410a3a745c0d2714ab5aa7c41ae11b | |
| parent | 187c4b36d9fd0b2c888b9a2850698346553f47a6 (diff) | |
| parent | 5dd93dae9398ee1ad815296173f6a804c3726622 (diff) | |
Merge pull request #4039 from ctiller/covrep
Coverage improvements
| -rwxr-xr-x | tools/run_tests/post_tests_c.sh | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/tools/run_tests/post_tests_c.sh b/tools/run_tests/post_tests_c.sh index f2f3ce9432..4409526dab 100755 --- a/tools/run_tests/post_tests_c.sh +++ b/tools/run_tests/post_tests_c.sh @@ -34,8 +34,12 @@ if [ "$CONFIG" != "gcov" ] ; then exit ; fi root=$(readlink -f $(dirname $0)/../..) out=$root/reports/c_cxx_coverage -tmp=$(mktemp) +tmp1=$(mktemp) +tmp2=$(mktemp) cd $root -lcov --capture --directory . --output-file $tmp -genhtml $tmp --output-directory $out -rm $tmp +lcov --capture --directory . --output-file $tmp1 +lcov --extract $tmp1 "$root/src/*" "$root/include/*" --output-file $tmp2 +genhtml $tmp2 --output-directory $out +rm $tmp2 +rm $tmp1 + |