1511
65%

Ran 12 Oct 2020 05:52PM UTC

Jobs 2

Files 469

Run time 13min

Badge

Committed 12 Oct 2020 05:38PM UTC coverage: 65.165% (+0.009%) from 65.156%

Build # 1511

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] add missing case in default value for models

fixes #318

Run Details

75196 of 115394 relevant lines covered (65.16%)

1428191.02 hits per line

ID	Job ID	Ran	Files	Coverage
5	1511.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	12 Oct 2020 05:52PM UTC	0	65.16	Travis Job 1511.5
10	1511.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	12 Oct 2020 06:06PM UTC	0	0.0	Travis Job 1511.10

Detailed source file information is not available for this build.