1177
65%

Ran 02 Apr 2020 03:38AM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 02 Apr 2020 03:32AM UTC coverage: 62.566% (-0.003%) from 62.569%

Build # 1177

Build Type

push

travis-ci

Committed by

Commit Message

Don't segfault if CUDD runs out of variables

Run Details

68675 of 109764 relevant lines covered (62.57%)

1391290.61 hits per line

ID	Job ID	Ran	Files	Coverage
5	1177.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	02 Apr 2020 03:38AM UTC	0	62.57	Travis Job 1177.5
10	1177.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	02 Apr 2020 03:50AM UTC	0		Travis Job 1177.10

Detailed source file information is not available for this build.