2961

Committed 18 Feb 2025 09:54AM UTC coverage: 62.372% (+0.03%) from 62.345%

Build # 2961

Build Type

push

github

Committed by

Commit Message

Merge pull request #1645 from goblint/bot_in_blob_leq_bot

PrivPrecCompare: Add `bot_in_blob_leq_bot` so `bot` and `Blob(bot)` are considered equal

Run Details

2 of 5 new or added lines in 1 file covered. (40.0%)

32 existing lines in 2 files now uncovered.

19490 of 31248 relevant lines covered (62.37%)

440211.25 hits per line

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

81.48

/src/util/autoSoundConfig.ml