3097

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

Source File
Press 'n' to go to next uncovered line, 'b' for previous

79.19

/src/relationAnalysis.ml