daisytuner / sdfglib / 16910121039 / 1
66%
main: 66%

DEFAULT BRANCH: main
Ran
Files 223
Run time 8s
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
coverage: 65.458% (-0.009%) from 65.467%
16910121039.1

push

github

web-flow 
Merge pull request #194 from daisytuner/infer-types-conditions

ignore reads of pointer as addresses in symbolic conditions

9185 of 14032 relevant lines covered (65.46%)

128.27 hits per line

Source Files on job 16910121039.1