1172
65%

Ran 31 Mar 2020 04:12PM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 31 Mar 2020 04:05PM UTC coverage: 62.569% (+0.01%) from 62.557%

Build # 1172

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] fix #188: non-bitvector sorts should be ignored

Run Details

68674 of 109758 relevant lines covered (62.57%)

1391360.79 hits per line

ID	Job ID	Ran	Files	Coverage
5	1172.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	31 Mar 2020 04:12PM UTC	0	62.57	Travis Job 1172.5
10	1172.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	31 Mar 2020 04:24PM UTC	0		Travis Job 1172.10

Detailed source file information is not available for this build.