1488
66%

Ran 22 Sep 2020 01:59AM UTC

Jobs 2

Files 469

Run time 15min

Badge

Committed 22 Sep 2020 01:51AM UTC coverage: 65.086% (+0.07%) from 65.016%

Build # 1488

Build Type

push

travis-ci

Committed by

Commit Message

Regression test

Run Details

74964 of 115176 relevant lines covered (65.09%)

1430628.96 hits per line

ID	Job ID	Ran	Files	Coverage
5	1488.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Sep 2020 01:59AM UTC	469	65.09	Travis Job 1488.5
10	1488.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Sep 2020 02:14AM UTC	0	0.0	Travis Job 1488.10