181
82%
master: 72%

Ran 29 May 2019 05:46AM UTC

Jobs 1

Files 26

Run time 2s

Badge

Build # 181

Build Type

push

travis-ci-com

Committed by

Commit Message

dedicated replacement type under rewriter

Run Details

5 of 5 new or added lines in 2 files covered. (100.0%)

525 of 634 relevant lines covered (82.81%)

687.96 hits per line

ID	Job ID	Ran	Files	Coverage
1	181.1 (OCAML_VERSION=4.07)	29 May 2019 05:46AM UTC	26	82.81	Travis Job 181.1