goblint / analyzer / 4606
65%
master: 65%

LAST BUILD BRANCH: memOutOfBounds-addr-kind-simplify
DEFAULT BRANCH: master
Ran
Jobs 1
Files 327
Run time 1min
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.251% (-0.02%) from 65.268%
4606

Pull #2060

github

web-flow 
Merge f43ebda6c into 8cd4ac22c
Pull Request #2060: Remove `EvalValue` queries from memOutOfBounds

0 of 2 new or added lines in 1 file covered. (0.0%)

1 existing line in 1 file now uncovered.

22911 of 35112 relevant lines covered (65.25%)

395021.21 hits per line

Uncovered Changes

Lines Coverage ∆ File
2
71.48
 -1.25% src/analyses/memOutOfBounds.ml

Coverage Regressions

Lines Coverage ∆ File
1
64.49
 -0.31% src/domains/queries.ml
Jobs
ID Job ID Ran Files Coverage
1 4606.1 327
65.25
 GitHub Action Run
Source Files on build 4606