2
73%
master: 73%

Ran 13 Oct 2016 05:55AM UTC

Files 22

Run time 1s

Badge

Committed 13 Oct 2016 05:53AM UTC coverage: 55.2%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #1 from heiglandreas/analysis-z3RJMP

Applied fixes from StyleCI

Run Details

69 of 125 relevant lines covered (55.2%)

0.84 hits per line