daisytuner / docc / 18411601724 / 1
30%
main: 67%

LAST BUILD BRANCH: disjoint-namespaces
DEFAULT BRANCH: main
Ran
Files 40
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
coverage: 29.564% (-0.09%) from 29.658%
18411601724.1

Pull #271

github

web-flow 
Merge 9910e0a20 into b4ff94080
Pull Request #271: simplified lifting of icmp with pointers

1561 of 5280 relevant lines covered (29.56%)

10.44 hits per line

Source Files on job 18411601724.1