1421
64%
master: 66%

Ran 28 Jul 2020 11:37PM UTC

Jobs 2

Files 453

Run time 13min

Badge

Committed 28 Jul 2020 11:29PM UTC coverage: 64.042% (-0.001%) from 64.043%

Build # 1421

Build Type

travis-ci

Committed by

Commit Message

Merge 87cc90708 into c6f22aa73

Run Details

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

71625 of 111841 relevant lines covered (64.04%)

1466879.48 hits per line

Lines	Coverage	∆	File
6	97.41	-2.2%	src/mcsat/bv/explain/arith_utils.c

ID	Job ID	Ran	Files	Coverage
5	1421.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Jul 2020 11:37PM UTC	453	64.04	Travis Job 1421.5
10	1421.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Jul 2020 11:50PM UTC	0	0.0	Travis Job 1421.10