931
63%
master: 66%

Ran 22 Jul 2019 06:44PM UTC

Jobs 2

Files 428

Run time 10min

Badge

Build # 931

Build Type

push

travis-ci

Committed by

Commit Message

setup to skip mcsat tests when not enabled

Run Details

66593 of 105900 relevant lines covered (62.88%)

1288503.2 hits per line

ID	Job ID	Ran	Files	Coverage
5	931.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Jul 2019 06:44PM UTC	428	62.88	Travis Job 931.5
10	931.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Jul 2019 06:55PM UTC	0		Travis Job 931.10