1
65%
master: 65%

Ran 10 Mar 2026 02:29AM UTC

Files 316

Run time 7s

Badge

Committed 09 Mar 2026 08:08AM UTC coverage: 65.536% (+0.006%) from 65.53%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1955 from goblint/issue_1934-str-not-an-address

Treat string function non-address inputs as top values

Coverage Stats

22712 of 34656 relevant lines covered (65.54%)

403238.21 hits per line