daisytuner / docc / 19044501798 / 1
28%
main: 67%

LAST BUILD BRANCH: disjoint-namespaces
DEFAULT BRANCH: main
Ran
Files 38
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: 27.503% (+0.03%) from 27.475%
19044501798.1

Pull #308

github

web-flow 
Merge a95fb952a into 944c8ef37
Pull Request #308: checks bit widths of integers before lifting

1593 of 5792 relevant lines covered (27.5%)

9.72 hits per line

Source Files on job 19044501798.1