3
50%
master: 50%

Ran 30 May 2018 01:11PM UTC

Files 17

Run time 4s

Badge

Committed 30 May 2018 01:08PM UTC coverage: 91.076%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #104 from boguslavsky/mpt-proof-examples

delete references to mpt proofs

Run Details

403 of 452 branches covered (89.16%)

Branch coverage included in aggregate %.

689 of 747 relevant lines covered (92.24%)

1307.22 hits per line