1279
62%
master: 65%

Ran 31 May 2020 09:54PM UTC

Jobs 2

Files 449

Run time 11min

Badge

Committed 31 May 2020 09:47PM UTC coverage: 62.304%. Remained the same

Build # 1279

Build Type

push

travis-ci

Committed by

Commit Message

Bug fix

Run Details

69212 of 111088 relevant lines covered (62.3%)

1379091.75 hits per line

ID	Job ID	Ran	Files	Coverage
5	1279.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	31 May 2020 09:54PM UTC	449	62.3	Travis Job 1279.5
10	1279.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	31 May 2020 10:05PM UTC	0	0.0	Travis Job 1279.10