71
97%
master: 99%

Ran 12 Aug 2019 09:27PM UTC

Jobs 3

Files 42

Run time 1913min

Badge

Build # 71

Build Type

push

travis-ci

Committed by

Commit Message

Make certain specifications abstract and provide generator implementations

Run Details

722 of 743 relevant lines covered (97.17%)

78.49 hits per line

ID	Job ID	Ran	Files	Coverage
1	71.1 (DEPENDENCIES=standard)	12 Aug 2019 09:27PM UTC	42	97.18	Travis Job 71.1
2	71.2 (DEPENDENCIES=standard)	12 Aug 2019 09:27PM UTC	42	97.17	Travis Job 71.2
5	71.5 (DEPENDENCIES=highest)	12 Aug 2019 09:27PM UTC	42	97.18	Travis Job 71.5