1612
65%
master: 66%

Ran 15 Apr 2021 02:28AM UTC

Jobs 2

Files 470

Run time 12min

Badge

Committed 15 Apr 2021 02:11AM UTC coverage: 65.248%. Remained the same

Build # 1612

Build Type

push

travis-ci

Committed by

Commit Message

Merge remote-tracking branch 'origin/master' into mingw-special

Run Details

75979 of 116447 relevant lines covered (65.25%)

1532282.42 hits per line

ID	Job ID	Ran	Files	Coverage
5	1612.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	15 Apr 2021 02:28AM UTC	470	65.25	Travis Job 1612.5
10	1612.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	15 Apr 2021 02:41AM UTC	0	0.0	Travis Job 1612.10