1599
65%
master: 65%

Ran 20 Mar 2021 01:57AM UTC

Jobs 2

Files 470

Run time 13min

Badge

Committed 20 Mar 2021 01:43AM UTC coverage: 65.225% (-0.01%) from 65.236%

Build # 1599

Build Type

push

travis-ci

Committed by

Commit Message

Better error report if model generalization fails

Run Details

43 of 43 new or added lines in 5 files covered. (100.0%)

75929 of 116410 relevant lines covered (65.23%)

1512435.93 hits per line

ID	Job ID	Ran	Files	Coverage
5	1599.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	20 Mar 2021 01:57AM UTC	0	65.23	Travis Job 1599.5
10	1599.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	20 Mar 2021 02:11AM UTC	0	0.0	Travis Job 1599.10

Detailed source file information is not available for this build.