1
66%
master: 66%

Ran 14 Feb 2025 02:51AM UTC

Files 272

Run time 15s

Badge

Committed 13 Feb 2025 03:47PM UTC coverage: 61.886% (-0.001%) from 61.887%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1676 from goblint/memsafety-bugs

Recognize pointers wrapped in `TNamed` in `memOutOfBounds` and fix bit-to-byte comparison bug

Run Details

19012 of 30721 relevant lines covered (61.89%)

441934.33 hits per line