1419
66%

Ran 28 Jul 2020 12:05AM UTC

Jobs 2

Files 453

Run time 13min

Badge

Committed 27 Jul 2020 11:57PM UTC coverage: 64.043% (+0.01%) from 64.029%

Build # 1419

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #277 from disteph/disteph-master

Disteph master

Run Details

71617 of 111827 relevant lines covered (64.04%)

1467062.87 hits per line

ID	Job ID	Ran	Files	Coverage
5	1419.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Jul 2020 12:05AM UTC	453	64.04	Travis Job 1419.5
10	1419.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Jul 2020 12:19AM UTC	0	0.0	Travis Job 1419.10