975
63%
master: 66%

Ran 25 Sep 2019 04:23PM UTC

Jobs 2

Files 428

Run time 7min

Badge

Build # 975

Build Type

push

travis-ci

Committed by

Commit Message

fix compile error

Run Details

66906 of 106332 relevant lines covered (62.92%)

1626458.47 hits per line

ID	Job ID	Ran	Files	Coverage
9	975.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Sep 2019 04:23PM UTC	428	62.92	Travis Job 975.9
10	975.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Sep 2019 04:31PM UTC	0		Travis Job 975.10