goblint / analyzer / 772
61%
master: 62%

LAST BUILD BRANCH: issue_1651
DEFAULT BRANCH: master
Ran
Jobs 1
Files 201
Run time 15s
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: 60.91% (-0.08%) from 60.992%
772

Pull #1253

github

web-flow 
Merge 566348216 into 97ab0b6a1
Pull Request #1253: Improving parameter of math function abs in condition

2 of 38 new or added lines in 5 files covered. (5.26%)

1 existing line in 1 file now uncovered.

16442 of 26994 relevant lines covered (60.91%)

56000.57 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
76.15
 -0.31% src/analyses/baseInvariant.ml
4
86.55
 -0.36% src/analyses/libraryFunctions.ml
5
37.66
 -2.06% src/analyses/libraryDesc.ml
7
66.33
 -0.58% src/cdomains/floatDomain.ml
18
81.3
 -0.91% src/analyses/base.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
66.33
 -0.58% src/cdomains/floatDomain.ml
Jobs
ID Job ID Ran Files Coverage
1 772.1 201
60.91
 GitHub Action Run
Source Files on build 772