1501
65%

Ran 06 Oct 2020 03:54AM UTC

Jobs 2

Files 469

Run time 13min

Badge

Committed 06 Oct 2020 03:41AM UTC coverage: 65.111% (-0.02%) from 65.133%

Build # 1501

Build Type

push

travis-ci

Committed by

Commit Message

Don't allow n-arry bvnand, bvnor, bvxnor in SMT-LIB2

Run Details

75062 of 115284 relevant lines covered (65.11%)

1429357.45 hits per line

ID	Job ID	Ran	Files	Coverage
5	1501.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	06 Oct 2020 03:54AM UTC	0	65.11	Travis Job 1501.5
10	1501.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	06 Oct 2020 04:07AM UTC	0	0.0	Travis Job 1501.10

Detailed source file information is not available for this build.