23
86%
master: 85%

Ran 31 May 2018 10:43PM UTC

Jobs 1

Files 26

Run time 5s

Badge

Build # 23

Build Type

push

travis-ci

Committed by

Commit Message

Improve proof system componentization

Run Details

155 of 220 branches covered (70.45%)

Branch coverage included in aggregate %.

651 of 748 relevant lines covered (87.03%)

5.62 hits per line

ID	Job ID	Ran	Files	Coverage
1	23.1	31 May 2018 10:43PM UTC	26	83.26	Travis Job 23.1