125
93%
master: 97%

Ran 12 Nov 2018 01:23AM UTC

Jobs 1

Files 12

Run time 1s

Badge

Build # 125

Build Type

travis-ci

Committed by

Commit Message

Tighten type-checking of nonempty quanifier for arrays

Run Details

24 of 24 new or added lines in 3 files covered. (100.0%)

1486 of 1590 relevant lines covered (93.46%)

0.93 hits per line

ID	Job ID	Ran	Files	Coverage
1	125.1	12 Nov 2018 01:23AM UTC	12	93.46	Travis Job 125.1