1114
66%

Ran 10 Mar 2020 01:12AM UTC

Jobs 2

Files 442

Run time 13min

Badge

Committed 10 Mar 2020 01:05AM UTC coverage: 62.618%. Remained the same

Build # 1114

Build Type

push

travis-ci

Committed by

Commit Message

Regression test for issue159

Run Details

68348 of 109150 relevant lines covered (62.62%)

1386739.43 hits per line

ID	Job ID	Ran	Files	Coverage
5	1114.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	10 Mar 2020 01:12AM UTC	442	62.62	Travis Job 1114.5
10	1114.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	10 Mar 2020 01:26AM UTC	0		Travis Job 1114.10