1
94%
main: 96%

Ran 07 Feb 2020 04:46PM UTC

Files 17

Run time 2s

Badge

Committed 07 Feb 2020 04:46PM UTC coverage: 94.23% (+0.1%) from 94.087%

Build Type

push

github

Committed by Martijn Cuppens

Commit Message

Shorten if notations so that property order can be applied

Run Details

1017 of 1117 branches covered (91.05%)

Branch coverage included in aggregate %.

1857 of 1933 relevant lines covered (96.07%)

106.5 hits per line