985
63%
master: 66%

Ran 03 Oct 2019 04:03PM UTC

Jobs 2

Files 428

Run time 6min

Badge

Build # 985

Build Type

push

travis-ci

Committed by

Commit Message

Note on CUDD hard-coded limit on the number of variables

Run Details

66771 of 106216 relevant lines covered (62.86%)

1361787.96 hits per line

ID	Job ID	Ran	Files	Coverage
9	985.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	03 Oct 2019 04:03PM UTC	428	62.86	Travis Job 985.9
10	985.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	03 Oct 2019 04:09PM UTC	0		Travis Job 985.10