9
39%
master: 44%

Ran 13 Mar 2020 06:08PM UTC

Jobs 1

Files 8

Run time 2s

Badge

Committed 13 Mar 2020 - 18:06 coverage: 38.983%. First build

Build # 9

Build Type

push

travis-ci-com

Committed by

Commit Message

aratellapipe-tools-modelchecker 0.0.3

Run Details

23 of 59 relevant lines covered (38.98%)

0.39 hits per line

ID	Job ID	Ran	Files	Coverage
1	9.1	13 Mar 2020 06:08PM UTC	8	38.98	Travis Job 9.1