1
65%
master: 65%

Ran 17 Apr 2026 02:30AM UTC

Files 317

Run time 6s

Badge

Committed 15 Apr 2026 08:48PM UTC coverage: 65.495% (-0.002%) from 65.497%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1984 from goblint/valuedomain-do-offset-2

Remove type argument from `do_update_offset`, fix calls with incorrect offset type

Coverage Stats

22679 of 34627 relevant lines covered (65.5%)

400006.16 hits per line