1
65%
master: 65%

Ran 18 Sep 2025 02:55AM UTC

Files 297

Run time 9s

Badge

Committed 17 Sep 2025 01:19PM UTC coverage: 61.543% (+0.009%) from 61.534%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1684 from goblint/assert-ptr

Replace `int` -> `_Bool` in goblint stubs arguments

Run Details

20866 of 33905 relevant lines covered (61.54%)

408168.61 hits per line