1009
63%
master: 66%

Ran 25 Oct 2019 06:37PM UTC

Jobs 2

Files 430

Run time 21min

Badge

Build # 1009

Build Type

push

travis-ci

Committed by

Commit Message

fix compile

Run Details

67085 of 106628 relevant lines covered (62.91%)

3569162.56 hits per line

ID	Job ID	Ran	Files	Coverage
9	1009.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Oct 2019 06:37PM UTC	430	62.91	Travis Job 1009.9
10	1009.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Oct 2019 06:59PM UTC	0		Travis Job 1009.10