952
63%
master: 66%

Ran 15 Aug 2019 10:35PM UTC

Jobs 2

Files 428

Run time 4min

Badge

Build # 952

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #132 from disteph/mcsat-bv

Mcsat bv

Run Details

66755 of 106183 relevant lines covered (62.87%)

1362173.69 hits per line

ID	Job ID	Ran	Files	Coverage
9	952.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	15 Aug 2019 10:35PM UTC	428	62.87	Travis Job 952.9
10	952.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	15 Aug 2019 10:39PM UTC	0		Travis Job 952.10