1203
65%
master: 66%

Ran 14 Apr 2020 06:21PM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 14 Apr 2020 06:10PM UTC coverage: 62.789% (+0.002%) from 62.787%

Build # 1203

Build Type

push

travis-ci

Committed by

Commit Message

Merge branch 'master' into mcsat-assumptions

Run Details

69169 of 110161 relevant lines covered (62.79%)

1392620.89 hits per line

ID	Job ID	Ran	Files	Coverage
5	1203.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	14 Apr 2020 06:21PM UTC	444	62.79	Travis Job 1203.5
10	1203.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	14 Apr 2020 06:32PM UTC	0	0.0	Travis Job 1203.10