998
63%
master: 66%

Ran 08 Oct 2019 01:53PM UTC

Jobs 2

Files 430

Run time 7min

Badge

Build # 998

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #144 from disteph/mcsat-bv

Fixes #140 and #141.

Run Details

64 of 64 new or added lines in 1 file covered. (100.0%)

66903 of 106431 relevant lines covered (62.86%)

1359055.52 hits per line

Lines	Coverage	∆	File
37	71.36	-1.48%	src/mcsat/bv/explain/arith.c

ID	Job ID	Ran	Files	Coverage
9	998.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Oct 2019 01:53PM UTC	430	62.86	Travis Job 998.9
10	998.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Oct 2019 02:01PM UTC	0		Travis Job 998.10