1384
65%
master: 66%

Ran 08 Jul 2020 01:14AM UTC

Jobs 2

Files 453

Run time 11min

Badge

Committed 08 Jul 2020 12:05AM UTC coverage: 64.595% (+0.08%) from 64.515%

Build # 1384

Build Type

push

travis-ci

Committed by

Commit Message

Regression test

Run Details

72706 of 112557 relevant lines covered (64.59%)

1396663.25 hits per line

ID	Job ID	Ran	Files	Coverage
5	1384.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Jul 2020 01:14AM UTC	453	64.59	Travis Job 1384.5
10	1384.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Jul 2020 01:26AM UTC	0	0.0	Travis Job 1384.10