1
65%
master: 65%

Ran 18 Jun 2026 02:35AM UTC

Files 327

Run time 6s

Badge

Committed 17 Jun 2026 11:42AM UTC coverage: 65.27% (+0.008%) from 65.262%

Build Type

push

github

Committed by

Commit Message

Merge pull request #2057 from goblint/memOutOfBounds-blobsize-var

 Improve memOutOfBounds precision by querying size/length of particular variable

Coverage Stats

22954 of 35168 relevant lines covered (65.27%)

394388.4 hits per line