1216
65%

Ran 20 Apr 2020 03:44AM UTC

Jobs 1

Files 0

Run time 1s

Badge

Committed 20 Apr 2020 03:21AM UTC coverage: 0.0% (-62.6%) from 62.568%

Build # 1216

Build Type

push

travis-ci

Committed by

Commit Message

More regression tests

Run Details

0 of 0 relevant lines covered (NaN%)

0.0 hits per line

ID	Job ID	Ran	Files	Coverage
10	1216.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	20 Apr 2020 03:44AM UTC	0	0.0	Travis Job 1216.10

Detailed source file information is not available for this build.