3097
65%

Ran 28 Mar 2025 03:02AM UTC

Jobs 1

Files 288

Run time 1min

Badge

Committed 27 Mar 2025 08:34AM UTC coverage: 61.806% (+0.007%) from 61.799%

Build # 3097

Build Type

push

github

Committed by

Commit Message

Merge pull request #1720 from goblint/issue_1719

`IsMultiple` in `MallocWrapper`: Check uniqueness of allocating(!) thread

Run Details

3 of 3 new or added lines in 1 file covered. (100.0%)

11 existing lines in 2 files now uncovered.

20792 of 33641 relevant lines covered (61.81%)

409669.94 hits per line

Lines	Coverage	∆	File
1	63.04	0.1%	src/analyses/basePriv.ml
10	79.19	0.05%	src/relationAnalysis.ml

ID	Job ID	Ran	Files	Coverage
1	3097.1	28 Mar 2025 03:02AM UTC	288	61.81	GitHub Action Run