goblint / analyzer / 5131
67%
master: 67%

LAST BUILD BRANCH: svcomp27-portfolios
DEFAULT BRANCH: master
Ran
Jobs 1
Files 329
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: 66.622% (+0.003%) from 66.619%
5131

Pull #2220

github

web-flow 
Merge 9b61b3a4f into 8cc1af90b
Pull Request #2220: Remove textual representation from constants in var_eq

18 of 19 new or added lines in 4 files covered. (94.74%)

2 existing lines in 1 file now uncovered.

23527 of 35314 relevant lines covered (66.62%)

394707.29 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
61.42
0.08% src/analyses/varEq.ml

Coverage Regressions

Lines Coverage ∆ File
2
61.42
0.08% src/analyses/varEq.ml
Jobs
ID Job ID Ran Files Coverage
1 5131.1 329
66.62
GitHub Action Run
Source Files on build 5131