1142
65%

Ran 23 Mar 2020 03:10PM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 23 Mar 2020 03:02PM UTC coverage: 62.499% (+0.03%) from 62.473%

Build # 1142

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] fixes #181

Run Details

68470 of 109553 relevant lines covered (62.5%)

1391883.12 hits per line

ID	Job ID	Ran	Files	Coverage
5	1142.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Mar 2020 03:10PM UTC	0	62.5	Travis Job 1142.5
10	1142.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Mar 2020 03:21PM UTC	0		Travis Job 1142.10

Detailed source file information is not available for this build.