503
50%

Ran 30 May 2018 12:46PM UTC

Jobs 4

Files 17

Run time 18min

Badge

Build # 503

Build Type

travis-ci

Committed by

Commit Message

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%)

5228.88 hits per line

ID	Job ID	Ran	Files	Coverage
1	503.1 (FEATURE=test)	30 May 2018 12:46PM UTC	17	91.08	Travis Job 503.1
2	503.2 (FEATURE=test)	30 May 2018 12:46PM UTC	17	91.08	Travis Job 503.2
3	503.3 (FEATURE=test)	30 May 2018 12:46PM UTC	17	91.08	Travis Job 503.3
4	503.4 (FEATURE=integration)	30 May 2018 01:04PM UTC	17	91.08	Travis Job 503.4