Uload coverage

This commit is contained in:
cpq
2020-12-18 11:47:56 +00:00
parent 4919f792f2
commit b0a5165b44
2 changed files with 4 additions and 1 deletions
+1 -1
View File
@@ -16,7 +16,7 @@ jobs:
- name: Install packages - name: Install packages
run: HOMEBREW_NO_AUTO_UPDATE=1 brew install jq mbedtls run: HOMEBREW_NO_AUTO_UPDATE=1 brew install jq mbedtls
- name: make - name: make
run: make test test++ run: make test++ upload-coverage
windows: windows:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
+3
View File
@@ -58,6 +58,9 @@ coverage: test
gcov -l -n *.gcno | sed '/^$$/d' | sed 'N;s/\n/ /' gcov -l -n *.gcno | sed '/^$$/d' | sed 'N;s/\n/ /'
gcov mongoose.gcno >/dev/null gcov mongoose.gcno >/dev/null
upload-coverage: coverage
curl -s https://codecov.io/bash | /bin/bash
infer: infer:
infer run -- cc test/unit_test.c -c -W -Wall -Werror -Isrc -I. -O2 -DMG_ENABLE_MBEDTLS=1 -DMG_ENABLE_LINES -I/usr/local/Cellar/mbedtls/2.23.0/include -DMG_ENABLE_IPV6=1 -g -o /dev/null infer run -- cc test/unit_test.c -c -W -Wall -Werror -Isrc -I. -O2 -DMG_ENABLE_MBEDTLS=1 -DMG_ENABLE_LINES -I/usr/local/Cellar/mbedtls/2.23.0/include -DMG_ENABLE_IPV6=1 -g -o /dev/null