goblint / analyzer / 1722
63%
master: 62%

LAST BUILD BRANCH: witness_val_fail_cherrypick
DEFAULT BRANCH: master
Ran
Jobs 1
Files 252
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: 62.727% (-0.003%) from 62.73%
1722

Pull #1430

github

web-flow 
Merge 34e705db7 into 98d9af4bf
Pull Request #1430: Refactor must-locksets to use mvals instead of addresses

39 of 52 new or added lines in 4 files covered. (75.0%)

45 existing lines in 7 files now uncovered.

18630 of 29700 relevant lines covered (62.73%)

459837.37 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
12.5
 0.0% src/domains/events.ml
5
78.85
 0.64% src/analyses/mutexAnalysis.ml
7
77.44
 -4.3% src/cdomain/value/cdomains/offset.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
66.67
 0.0% src/analyses/commonPriv.ml
1
79.79
 -0.52% src/cdomain/value/cdomains/addressDomain.ml
1
97.5
 0.0% src/analyses/mutexEventsAnalysis.ml
2
60.0
 1.3% src/cdomains/lockDomain.ml
3
79.17
 0.0% src/cdomain/value/cdomains/mval.ml
15
77.44
 -4.3% src/cdomain/value/cdomains/offset.ml
22
78.85
 0.64% src/analyses/mutexAnalysis.ml
Jobs
ID Job ID Ran Files Coverage
1 1722.1 252
62.73
 GitHub Action Run
Source Files on build 1722