1542
65%
master: 65%

Ran 18 Dec 2020 10:52PM UTC

Jobs 2

Files 470

Run time 53min

Badge

Committed 18 Dec 2020 06:20PM UTC coverage: 65.552% (+0.3%) from 65.251%

Build # 1542

Build Type

push

travis-ci

Committed by

Commit Message

Merge branch 'master' into mingw-special

Run Details

31 of 31 new or added lines in 2 files covered. (100.0%)

75748 of 115554 relevant lines covered (65.55%)

1426315.31 hits per line

Lines	Coverage	∆	File
8	88.41	-0.87%	src/mcsat/preprocessor.c

ID	Job ID	Ran	Files	Coverage
5	1542.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	18 Dec 2020 10:52PM UTC	470	65.55	Travis Job 1542.5
10	1542.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	18 Dec 2020 11:46PM UTC	0	0.0	Travis Job 1542.10