Better coverage

This commit is contained in:
cpq committed 2020-12-11 22:58:50 +00:00
1 parent 37e9a2ee95
commit d806ed5d5f
4 files changed
+26 -10

No files matched your search

+1
View File
@@ -56,6 +56,7 @@ test: mongoose.c mongoose.h Makefile test/unit_test.c
coverage: test
gcov -l -n *.gcno | sed '/^$$/d' | sed 'N;s/\n/ /'
gcov mongoose.gcno >/dev/null
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