389
61%
master: 66%

Ran 19 Nov 2018 04:29PM UTC

Jobs 1

Files 402

Run time 1min

Badge

Build # 389

Build Type

push

travis-ci

Committed by

Commit Message

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

Run Details

59383 of 95156 relevant lines covered (62.41%)

1159803.47 hits per line

ID	Job ID	Ran	Files	Coverage
1	389.1	19 Nov 2018 04:29PM UTC	402	62.41	Travis Job 389.1