1
65%
master: 65%

Ran 01 Jun 2026 02:35AM UTC

Files 327

Run time 9s

Badge

Committed 29 May 2026 06:55AM UTC coverage: 65.259% (-0.006%) from 65.265%

Build Type

push

github

Committed by

Commit Message

Merge pull request #2030 from goblint/memOutOfBounds-blobsize

 Improve memOutOfBounds precision for points-to sets which mix allocs with others

Coverage Stats

22966 of 35192 relevant lines covered (65.26%)

395274.16 hits per line