765
63%
master: 66%

Ran 16 Apr 2019 05:49PM UTC

Jobs 2

Files 412

Run time 13min

Badge

Build # 765

Build Type

push

travis-ci

Committed by

Commit Message

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

Run Details

65267 of 97779 relevant lines covered (66.75%)

1211706.47 hits per line

ID	Job ID	Ran	Files	Coverage
5	765.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON)	16 Apr 2019 05:49PM UTC	412	66.75	Travis Job 765.5
6	765.6 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON)	16 Apr 2019 06:02PM UTC	0		Travis Job 765.6