14
90%

Ran 19 Jun 2020 12:29AM UTC

Jobs 1

Files 15

Run time 3s

Badge

Committed 19 Jun 2020 12:27AM UTC coverage: 89.719%. Remained the same

Build # 14

Build Type

push

travis-ci

Committed by

Commit Message

Source-level interval abstraction and some tests

Run Details

925 of 1031 relevant lines covered (89.72%)

9306137.84 hits per line

ID	Job ID	Ran	Files	Coverage
1	14.1	19 Jun 2020 12:29AM UTC	0	89.72	Travis Job 14.1