4213
65%

Ran 11 Mar 2026 02:29AM UTC

Jobs 1

Files 316

Run time 1min

Badge

Committed 09 Mar 2026 08:08AM UTC coverage: 65.536%. Remained the same

Build # 4213

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

1 of 1 new or added line in 1 file covered. (100.0%)

22712 of 34656 relevant lines covered (65.54%)

403238.21 hits per line

ID	Job ID	Ran	Files	Coverage
1	4213.1	11 Mar 2026 02:29AM UTC	316	65.54	GitHub Action Run