3629

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

Build # 3629

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

22 of 39 new or added lines in 8 files covered. (56.41%)

8 existing lines in 3 files now uncovered.

20866 of 33905 relevant lines covered (61.54%)

408168.61 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

70.37

/src/framework/analyses.ml