3345

Committed 30 Jun 2025 03:03PM UTC coverage: 61.547% (+0.03%) from 61.52%

Build # 3345

Build Type

push

github

Committed by

Commit Message

Merge pull request #1771 from goblint/assumption-blob-init

Add assumption about `malloc` blob initialization

Run Details

20710 of 33649 relevant lines covered (61.55%)

410918.28 hits per line

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

80.12

/src/analyses/base.ml