1528
65%

Ran 28 Oct 2020 04:01PM UTC

Jobs 2

Files 470

Run time 94min

Badge

Committed 28 Oct 2020 02:10PM UTC coverage: 65.229% (+0.01%) from 65.216%

Build # 1528

Build Type

push

travis-ci

Committed by

Commit Message

Merge branch 'master' of github.com:SRI-CSL/yices2 into master

Run Details

75352 of 115519 relevant lines covered (65.23%)

1426621.33 hits per line

ID	Job ID	Ran	Files	Coverage
5	1528.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Oct 2020 04:01PM UTC	0	65.23	Travis Job 1528.5
10	1528.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	28 Oct 2020 05:34PM UTC	0	0.0	Travis Job 1528.10

Detailed source file information is not available for this build.