1198
65%
master: 66%

Ran 12 Apr 2020 06:25PM UTC

Jobs 2

Files 0

Run time 12min

Badge

Committed 12 Apr 2020 06:18PM UTC coverage: 0.0% (-62.8%) from 62.785%

Build # 1198

Build Type

push

travis-ci

Committed by

Commit Message

...

Run Details

0 of 0 relevant lines covered (NaN%)

0.0 hits per line

ID	Job ID	Ran	Files	Coverage
5	1198.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	12 Apr 2020 06:25PM UTC	444	62.79	Travis Job 1198.5
10	1198.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	12 Apr 2020 06:37PM UTC	0	0.0	Travis Job 1198.10