solhop / rsat / 3b3daab5fa7bb83f2d3b4d9de798c8dcf03984d6
4%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 4
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
3b3daab5fa7bb83f2d3b4d9de798c8dcf03984d6

push

github

Prateek Kumar 
Panic when cdcl alg called with parallel flag

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

Jobs
ID Job ID Ran Files Coverage
1 3b3daab5fa7bb83f2d3b4d9de798c8dcf03984d6.1 0
4.48
 GitHub Action Run
Source Files on build 3b3daab5fa7bb83f2d3b4d9de798c8dcf03984d6
Detailed source file information is not available for this build.