1445
65%
master: 65%

Ran 04 Aug 2020 06:18PM UTC

Jobs 2

Files 453

Run time 17min

Badge

Committed 04 Aug 2020 06:06PM UTC coverage: 64.614% (-0.002%) from 64.616%

Build # 1445

Build Type

push

travis-ci

Committed by

Commit Message

[intepolation] fix details

Run Details

72836 of 112724 relevant lines covered (64.61%)

1446448.01 hits per line

ID	Job ID	Ran	Files	Coverage
5	1445.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	04 Aug 2020 06:18PM UTC	453	64.61	Travis Job 1445.5
10	1445.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	04 Aug 2020 06:32PM UTC	0	0.0	Travis Job 1445.10