1400
66%

Ran 14 Jul 2020 04:28AM UTC

Jobs 2

Files 453

Run time 11min

Badge

Committed 14 Jul 2020 03:50AM UTC coverage: 64.031% (+0.01%) from 64.019%

Build # 1400

Build Type

push

travis-ci

Committed by

Commit Message

New regression test

Run Details

71600 of 111821 relevant lines covered (64.03%)

1400115.33 hits per line

Lines	Coverage	∆	File
44	72.83	-0.05%	src/solvers/bv/bvpoly_dag.c

ID	Job ID	Ran	Files	Coverage
5	1400.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	14 Jul 2020 04:28AM UTC	453	64.03	Travis Job 1400.5
10	1400.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	14 Jul 2020 04:38AM UTC	0	0.0	Travis Job 1400.10