1268
63%
master: 66%

Ran 21 May 2020 11:58PM UTC

Jobs 2

Files 449

Run time 11min

Badge

Committed 21 May 2020 11:49PM UTC coverage: 62.702% (+0.1%) from 62.588%

Build # 1268

Build Type

push

travis-ci

Committed by

Commit Message

Cleaned up trailing whitespaces

Run Details

69523 of 110878 relevant lines covered (62.7%)

1357981.45 hits per line

ID	Job ID	Ran	Files	Coverage
5	1268.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	21 May 2020 11:58PM UTC	449	62.7	Travis Job 1268.5
10	1268.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 May 2020 12:09AM UTC	0	0.0	Travis Job 1268.10