1417
65%
master: 65%

Ran 25 Jul 2020 12:46AM UTC

Jobs 2

Files 453

Run time 13min

Badge

Committed 25 Jul 2020 12:38AM UTC coverage: 64.62% (+0.01%) from 64.607%

Build # 1417

Build Type

push

travis-ci

Committed by

Commit Message

[assumptions] fix nonlinear tests to not check model and update output with root atoms

Run Details

72741 of 112567 relevant lines covered (64.62%)

1396303.87 hits per line

ID	Job ID	Ran	Files	Coverage
5	1417.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Jul 2020 12:46AM UTC	0	64.62	Travis Job 1417.5
10	1417.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Jul 2020 01:00AM UTC	0	0.0	Travis Job 1417.10

Detailed source file information is not available for this build.