1068
63%
master: 65%

Ran 14 Jan 2020 02:18AM UTC

Jobs 2

Files 441

Run time 3min

Badge

Build # 1068

Build Type

push

travis-ci

Committed by

Commit Message

add time limit option to check script

Run Details

68013 of 107946 relevant lines covered (63.01%)

1410242.15 hits per line

ID	Job ID	Ran	Files	Coverage
9	1068.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	14 Jan 2020 02:18AM UTC	441	63.01	Travis Job 1068.9
10	1068.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	14 Jan 2020 02:21AM UTC	0		Travis Job 1068.10