1443
65%
master: 66%

Ran 04 Aug 2020 04:32PM UTC

Jobs 2

Files 453

Run time 16min

Badge

Committed 04 Aug 2020 04:24PM UTC coverage: 64.616%. First build

Build # 1443

Build Type

push

travis-ci

Committed by

Commit Message

[interpolation] draft of interpolation API

Run Details

72836 of 112721 relevant lines covered (64.62%)

1446486.52 hits per line

ID	Job ID	Ran	Files	Coverage
5	1443.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	04 Aug 2020 04:32PM UTC	453	64.62	Travis Job 1443.5
10	1443.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	04 Aug 2020 04:47PM UTC	0	0.0	Travis Job 1443.10