1490
66%

Ran 22 Sep 2020 05:33PM UTC

Jobs 2

Files 469

Run time 16min

Badge

Committed 22 Sep 2020 05:15PM UTC coverage: 65.104% (+0.02%) from 65.087%

Build # 1490

Build Type

push

travis-ci

Committed by

Commit Message

Regression tests

Run Details

74994 of 115191 relevant lines covered (65.1%)

1430452.98 hits per line

ID	Job ID	Ran	Files	Coverage
5	1490.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Sep 2020 05:33PM UTC	469	65.1	Travis Job 1490.5
10	1490.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Sep 2020 05:49PM UTC	0	0.0	Travis Job 1490.10