1
19%
dev: 19%

Ran 28 May 2020 01:44PM UTC

Files 139

Run time 4min

Badge

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

Build Type

push

github-actions

Committed by GitHub

Commit Message

ROP representation with short chars (#1505)

Run Details

3311 of 6059 branches covered (54.65%)

10692 of 15467 relevant lines covered (69.13%)

0.69 hits per line