2
59%
master: 59%

Ran 29 Dec 2019 05:34PM UTC

Files 25

Run time 1s

Badge

Committed 29 Dec 2019 05:29PM UTC coverage: 58.249% (-0.04%) from 58.286%

Build Type

push

travis-ci

Committed by

Commit Message

Skip nested Lwt_main.run check on call to exit

Resolves #758.

Run Details

2475 of 4249 relevant lines covered (58.25%)

120.61 hits per line