goblint / analyzer / 3063
61%
master: 66%

LAST BUILD BRANCH: base-set-refactor
DEFAULT BRANCH: master
Ran
Jobs 1
Files 281
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: 61.429% (-0.001%) from 61.43%
3063

Pull #1631

github

web-flow 
Merge 9b7a3f4fa into 66dff5a90
Pull Request #1631: Replace readwrite protection with read protection

35 of 53 new or added lines in 4 files covered. (66.04%)

1 existing line in 1 file now uncovered.

19639 of 31970 relevant lines covered (61.43%)

431733.7 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
75.2
 0.0% src/analyses/commonPriv.ml
3
62.08
 -0.17% src/domains/queries.ml
6
62.94
 0.0% src/analyses/basePriv.ml
8
77.07
 -0.41% src/analyses/mutexAnalysis.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
62.94
 0.0% src/analyses/basePriv.ml
Jobs
ID Job ID Ran Files Coverage
1 3063.1 281
61.43
 GitHub Action Run
Source Files on build 3063