1
77%
master: 77%

Ran 24 Apr 2020 03:17AM UTC

Files 71

Run time 5s

Badge

Committed 24 Apr 2020 03:13AM UTC coverage: 82.729%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

display pdf of non-det (#574)

Run Details

1894 of 2552 branches covered (74.22%)

Branch coverage included in aggregate %.

5550 of 6446 relevant lines covered (86.1%)

161287.64 hits per line