1
4%
master: 4%

Ran 16 Oct 2019 02:47PM UTC

Files 4

Run time 0s

Badge

Committed 16 Oct 2019 02:47PM UTC coverage: 4.481% (-0.1%) from 4.614%

Build Type

push

github

Committed by Prateek Kumar

Commit Message

Panic when cdcl alg called with parallel flag

Run Details

36 of 1709 branches covered (2.11%)

Branch coverage included in aggregate %.

71 of 679 relevant lines covered (10.46%)

0.39 hits per line