2
19%
dev: 19%

Ran 28 May 2020 01:45PM UTC

Files 139

Run time 4min

Badge

Committed 28 May 2020 01:44PM UTC coverage: 72.112% (-0.01%) from 72.123%

Build Type

push

github-actions

Committed by GitHub

Commit Message

ROP representation with short chars (#1505)

Run Details

3412 of 5843 branches covered (58.39%)

10982 of 15229 relevant lines covered (72.11%)

0.72 hits per line