goblint / analyzer / 4996
67%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 329
Run time 2min
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.658% (+0.005%) from 65.653%
4996

push

github

web-flow 
Merge pull request #2173 from goblint/intdomain-refine-refactor

Remove unnecessary option from `IntDomain.refine_with_*`

44 of 48 new or added lines in 7 files covered. (91.67%)

2 existing lines in 2 files now uncovered.

23092 of 35170 relevant lines covered (65.66%)

395357.61 hits per line

Uncovered Changes

Lines Coverage ∆ File
3
83.23
-0.6% src/cdomain/value/cdomains/int/intervalDomain.ml
1
75.87
0.48% src/cdomain/value/cdomains/int/congruenceDomain.ml

Coverage Regressions

Lines Coverage ∆ File
1
83.23
-0.6% src/cdomain/value/cdomains/int/intervalDomain.ml
1
87.74
0.2% src/cdomain/value/cdomains/int/intervalSetDomain.ml
Jobs
ID Job ID Ran Files Coverage
1 4996.1 329
65.66
GitHub Action Run
Source Files on build 4996