1
65%
master: 65%

Ran 08 May 2026 02:32AM UTC

Files 317

Run time 10s

Badge

Committed 07 May 2026 02:57PM UTC coverage: 65.41% (+0.005%) from 65.405%

Build Type

push

github

Committed by

Commit Message

Merge pull request #2017 from goblint/memsafety-neg-offset

Fix `memOutOfBounds` handling of negative pointer offsets

Coverage Stats

22692 of 34692 relevant lines covered (65.41%)

399107.83 hits per line