1325
66%

Ran 25 Jun 2020 01:21AM UTC

Jobs 2

Files 444

Run time 12min

Badge

Committed 25 Jun 2020 01:06AM UTC coverage: 63.439% (+0.001%) from 63.438%

Build # 1325

Build Type

push

travis-ci

Committed by

Commit Message

Bug fixes

Run Details

69973 of 110299 relevant lines covered (63.44%)

1407881.95 hits per line

ID	Job ID	Ran	Files	Coverage
5	1325.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Jun 2020 01:21AM UTC	444	63.44	Travis Job 1325.5
10	1325.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Jun 2020 01:33AM UTC	0	0.0	Travis Job 1325.10