1
92%
master: 92%

Ran 02 Sep 2020 05:39PM UTC

Files 27

Run time 3s

Badge

Committed 02 Sep 2020 05:39PM UTC coverage: 91.375% (+0.04%) from 91.331%

Build Type

push

github

Committed by GitHub

Commit Message

Add exploration rule for global aggregate split (#212)

Run Details

3949 of 4566 branches covered (86.49%)

Branch coverage included in aggregate %.

9728 of 10402 relevant lines covered (93.52%)

3161043.29 hits per line