1590
65%
master: 65%

Ran 18 Mar 2021 08:39PM UTC

Jobs 2

Files 470

Run time 19min

Badge

Committed 18 Mar 2021 08:19PM UTC coverage: 65.198% (-0.3%) from 65.545%

Build # 1590

Build Type

travis-ci

Committed by

Commit Message

Merge 4c3c4bf37 into 95a0d7b00

Run Details

801 of 801 new or added lines in 19 files covered. (100.0%)

75832 of 116310 relevant lines covered (65.2%)

1513723.6 hits per line

ID	Job ID	Ran	Files	Coverage
5	1590.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	18 Mar 2021 08:39PM UTC	0	65.2	Travis Job 1590.5
10	1590.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	18 Mar 2021 08:58PM UTC	0	0.0	Travis Job 1590.10

Detailed source file information is not available for this build.